Open andreasabel opened 6 years ago
While most of the generated files depend on the grammar and might frequently change, the Makefile only depends on name of the .cf file and parameters like -d. It is likely refined by the user and should not be silently overwritten.
Makefile
.cf
-d
While most of the generated files depend on the grammar and might frequently change, the
Makefileonly depends on name of the.cffile and parameters like-d. It is likely refined by the user and should not be silently overwritten.