I believe this is a known bug: https://savannah.gnu.org/bugs/index.php?32042
Sorry, I didn't find the bug list...I tried to work around it by setting .INTERMEDIATE but the effect was opposite to the expected: now make doesn't delete intermediate files at all... (BTW searching for INTERMEDIATE doesn’t produce anything relevant).
Thanks, Andriy _______________________________________________ Bug-make mailing list Bug-make@gnu.org https://lists.gnu.org/mailman/listinfo/bug-make
