Copy Makefile from 2019

This commit is contained in:
2022-10-11 20:22:33 +02:00
parent 0a03bc557b
commit 4a565af1c2
3 changed files with 99 additions and 34 deletions

View File

@@ -28,7 +28,7 @@ ex2: ex2-c ex2-sort-cob ex2-pure-sort-cob
@$(TIME) ex2-c < $(INPUT)
clean:
@rm -f ex1-c ex2-c core ex2-galoisgirl-cob ex2-cob
@rm -f ex1-c ex2-c core ex*-cob
output:
$(MAKE) --no-print-directory all >OUTPUT 2>&1