Permalink
Browse files
deb/Makefile: Renamed COMMIT -> TREE
- Loading branch information...
Showing
with
2 additions
and
2 deletions.
-
+2
−2
deb/Makefile
|
|
@@ -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:
|
|
|
|
0 comments on commit
24e31d6