Sometimes submission.zip went into submission.zip

Okay, that's an horrible hack. I know
This commit is contained in:
Geoffrey Frogeye 2016-02-13 17:41:01 +01:00
parent 0d8cd171bb
commit 84e72a46c8

View file

@ -1,6 +1,7 @@
all: 1o 2o 3o ../submission.zip
submission.zip:
rm submission.zip
git gc
zip $@ .git *.py -r