deb/Makefile: Renamed COMMIT -> TREE

This commit is contained in:
John MacFarlane 2016-01-07 10:54:19 -08:00
parent af706bc477
commit 669153eace

View file

@ -1,11 +1,11 @@
COMMIT?=HEAD
TREE?=HEAD
VAGRANTBOX?=debian/wheezy64
.PHONY: package clean
package:
VAGRANTBOX=$(VAGRANTBOX) vagrant up
vagrant ssh -c 'rm -rf pandoc && git clone https://github.com/jgm/pandoc && cd pandoc && git checkout -b work $(COMMIT) && git submodule update --init && ./make_deb.sh && cp *.deb /vagrant_data/'
vagrant ssh -c 'rm -rf pandoc && git clone https://github.com/jgm/pandoc && cd pandoc && git checkout -b work $(TREE) && git submodule update --init && ./make_deb.sh && cp *.deb /vagrant_data/'
vagrant halt
clean: