summaryrefslogtreecommitdiff
path: root/src/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'src/Makefile')
-rw-r--r--src/Makefile2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/Makefile b/src/Makefile
index 4f15695..30526f5 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -10,3 +10,5 @@ main.byte: main.ml ast.ml parser.mly lexer.mll pretty.ml
clean:
rm -r _build
+ rm main.byte
+ rm $(BIN)