Are you saying that the literal "rm -rf cover_db" is never executed and just used as comment or message?

Yes, that is what I am saying.

When the Makefile runs the command $(ECHO) realclean:: skip "rm -rf cover_db", it effectively prints all the arguments after the $(ECHO) as text to the console/terminal/equivalent. I am just using that as a debug print to tell me that it didn't delete cover_db (probably because it didn't exist).

Thanks for helping me deciphering it now.

I hope my problems show why I was skeptical about using text processing to combine three levels of scripting ... :)

Cheers Rolf
_{(addicted to the Perl Programming Language :)
Wikisyntax for the Monastery}