From 6cb94d593fc58650f19b932d0bf181f4dd6e4ded Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Thu, 7 Jan 2016 11:37:07 -0800
Subject: Minor tweak in how make_deb.sh is called.

---
 deb/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'deb')

diff --git a/deb/Makefile b/deb/Makefile
index 7310dc0bd..96340cc34 100644
--- a/deb/Makefile
+++ b/deb/Makefile
@@ -6,7 +6,7 @@ VAGRANTBOX?=debian/wheezy64
 
 package:
 	VAGRANTBOX=$(VAGRANTBOX) vagrant up
-	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/'
+	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/'
 	vagrant halt
 
 clean:
-- 
cgit v1.2.3