Minor tweak in how make_deb.sh is called.
commit6cb94d593fc58650f19b932d0bf181f4dd6e4ded
authorJohn MacFarlane <jgm@berkeley.edu>
dateThu 7 Jan 2016, 11:37 (11 years ago)
parent8a5950a
deb/Makefile+1−1
@@ -6,7 +6,7 @@ VAGRANTBOX?=debian/wheezy64
66
77package:
88 VAGRANTBOX=$(VAGRANTBOX) vagrant up
9− vagrant ssh -c 'DEBPKGVER=$(DEBPKGVER) rm -rf pandoc && git clone https://github.com/jgm/pandoc && cd pandoc && git checkout -b work $(TREE) && git submodule update --init && sh -ev ./deb/make_deb.sh && cp *.deb /vagrant_data/'
9+ vagrant ssh -c 'DEBPKGVER=$(DEBPKGVER) rm -rf pandoc && git clone https://github.com/jgm/pandoc && cd pandoc && git checkout -b work $(TREE) && git submodule update --init && ./deb/make_deb.sh && cp *.deb /vagrant_data/'
1010 vagrant halt
1111
1212clean: