git gc before making submission

It DOES matter on this very slow connection.
This commit is contained in:
Geoffrey Frogeye 2016-02-13 16:50:39 +01:00
parent 2a52ef67c2
commit 3041f78531

View file

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