From 51195b30dc34eeb31ad0fc6df5240cd38f413bc2 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Thu, 12 Nov 2015 17:26:04 -0800
Subject: Debian:  added configurable VAGRANTBOX env variable.

This should make it easy to build in different virtual
machines, e.g. 32-bit.
---
 deb/Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'deb/Makefile')

diff --git a/deb/Makefile b/deb/Makefile
index 7f514fe24..207de6895 100644
--- a/deb/Makefile
+++ b/deb/Makefile
@@ -1,9 +1,10 @@
 COMMIT?=HEAD
+VAGRANTBOX?=ubuntu/trusty64
 
 .PHONY: package clean
 
 package:
-	vagrant up
+	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 halt
 
-- 
cgit v1.2.3