diff options
Diffstat (limited to 'makefile')
-rw-r--r-- | makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -19,6 +19,7 @@ all: testprog fractranprog thueprog unlambdaprog brainfuckprog graspprog clean: find . -name '*.hi' -delete find . -name '*.o' -delete + find . -name '*.ali' -delete distclean: rm ${EXECUTABLES} |