summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJed Barber <jjbarber@y7mail.com>2015-03-18 03:00:13 +1100
committerJed Barber <jjbarber@y7mail.com>2015-03-18 03:00:13 +1100
commit6b0a72d1d9603bc3c340ee48285f78d5565aacdd (patch)
tree697878542bb1216e3acceaaabc43df3dda07353b
parent0552bcdf5dfd199ce2cd9f9d2f4e614a6f217b7f (diff)
Ensuring Ada intermediate files get cleaned up
-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}