On Mon, 13 Feb 2012, Raman Gopalan wrote:
Also, do you suggest a work around?
Something like this?
output.h : source.file
codegen -o output.h-tmp source.file
diff output.h output.h-tmp >/dev/null || mv output.h-tmp output.h
rm -f output.h-tmp
?
(untested)
- Daniel
_______________________________________________
Bug-make mailing list
Bug-make@gnu.org
https://lists.gnu.org/mailman/listinfo/bug-make
