summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGuillaume Seguin <guillaume@segu.in>2009-01-15 23:25:10 +0100
committerGuillaume Seguin <guillaume@segu.in>2009-01-15 23:25:10 +0100
commit909f7b7eb0a884a50681f788f4ec703690282da6 (patch)
treee87dc88eb63036bb37155170e62e7261eb8c81d6
parent640f97b08aa1dbcdd40a2bf84f3b920ed24f8b64 (diff)
downloadpetitcaml-909f7b7eb0a884a50681f788f4ec703690282da6.tar.gz
petitcaml-909f7b7eb0a884a50681f788f4ec703690282da6.tar.bz2
[petitcaml] Finalize make release
-rw-r--r--Makefile6
1 files changed, 5 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 4475053..676b7d3 100644
--- a/Makefile
+++ b/Makefile
@@ -38,8 +38,12 @@ release:
mkdir -p seguin
git archive HEAD | tar -xC seguin
make --directory=seguin
- make --directory=seguin clean
+ make --directory=seguin test
+ rm -rf seguin
+ mkdir -p seguin
+ git archive HEAD | tar -xC seguin
tar -czf seguin.tgz seguin
+ rm -rf seguin
clean:
rm -f *.cm[io] *.o *~ $(BIN) $(GENERATED) parser.output parser.automaton