diff options
Diffstat (limited to 'src')
-rw-r--r-- | src/Makefile | 2 |
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) |