summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/makefile b/makefile
index e9f7a72..399416b 100644
--- a/makefile
+++ b/makefile
@@ -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}