deb/Makefile: Renamed COMMIT -> TREE
commit669153eaced64094050861271c82618d142db98d
authorJohn MacFarlane <jgm@berkeley.edu>
dateThu 7 Jan 2016, 10:54 (11 years ago)
parentaf706bc
deb/Makefile+2−2
@@ -1,11 +1,11 @@
1−COMMIT?=HEAD
1+TREE?=HEAD
22VAGRANTBOX?=debian/wheezy64
33
44.PHONY: package clean
55
66package:
77 VAGRANTBOX=$(VAGRANTBOX) vagrant up
8− 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/'
8+ 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/'
99 vagrant halt
1010
1111clean: