Simplify git calls. Remove archive when generation fails.
authorJoe Wreschnig <joe.wreschnig@gmail.com>
Mon, 19 May 2014 12:15:54 +0000 (14:15 +0200)
committerJoe Wreschnig <joe.wreschnig@gmail.com>
Mon, 19 May 2014 12:15:54 +0000 (14:15 +0200)
commitc94dec1af72801e7e46c2e8fed3f09667f41d8e1
tree9fe483ba5671b3fde046d316d20fedba7fd2cb57
parent4c3e2d57468012099df78961480fc9634cca9829
Simplify git calls. Remove archive when generation fails.
Makefile