Hello Lawrence, Thanks for the reply.
>This looks like work for your code generator instead of make. I agree with you. This should be fixed in the code gen. But I'm currently working with a production code generator (DAVE) which is nor free and does not include this feature. The build process takes a long time. >The code generator could do a diff before replacing the file. Sure. I could pitch this around in the community. >Make would have to keep a backup copy of the last time it built with >that file, increasing complexity and time for normal builds. Yes, indeed. But could this be an option for make without touching the traditional make process? (strictly as a side option) Also, do you suggest a work around? Best, Raman
_______________________________________________ Bug-make mailing list Bug-make@gnu.org https://lists.gnu.org/mailman/listinfo/bug-make
