summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGuillaume Seguin <guillaume@segu.in>2009-01-15 23:22:57 +0100
committerGuillaume Seguin <guillaume@segu.in>2009-01-15 23:22:57 +0100
commit640f97b08aa1dbcdd40a2bf84f3b920ed24f8b64 (patch)
tree9db8e1a0d3838ad6d07437e8f481904f089e022c
parent1c2be950066c7d835df2db1c6345344e592012cc (diff)
downloadpetitcaml-640f97b08aa1dbcdd40a2bf84f3b920ed24f8b64.tar.gz
petitcaml-640f97b08aa1dbcdd40a2bf84f3b920ed24f8b64.tar.bz2
[petitcaml] Fix make clean
-rw-r--r--Makefile4
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index cfe5ca0..4475053 100644
--- a/Makefile
+++ b/Makefile
@@ -39,10 +39,10 @@ release:
git archive HEAD | tar -xC seguin
make --directory=seguin
make --directory=seguin clean
- tar -cxf seguin.tgz seguin
+ tar -czf seguin.tgz seguin
clean:
- rm -f *.cm[io] *.o *~ $(BIN) $(GENERATED) parser.output
+ rm -f *.cm[io] *.o *~ $(BIN) $(GENERATED) parser.output parser.automaton
.depend depend:$(CMI) $(CMO_DEP) $(GENERATED)
rm -f .depend