Hi Tim, Sorry I dropped the ball...
> Reproducible everywhere (needs gawk being installed, else the > sc_prohibit_gnu_make_extensions is a no-op). Which is what I meant. So are you saying it work as (I) expected? > Akim, at least with GNU make 4.2.1 the combination of -q and -p doesn't > do what you expect. From the make man page, I would say that both > options contradict. -q: don't print anything; -p: print the database I'm using 4.2.1, and it does what I meant: -p prints the rules, and -q (which is --question, not --quiet) avoids that we fired a rule (i.e., "make -q" does not run "make all"). So I'm just clueless here. I don't know what to do to address your issue. Are you running "make syntax-check" on a configured builddir?