From e8fe553bde59a4501a6cfeb2a532e85b1bb3620d Mon Sep 17 00:00:00 2001
From: Stefan Siegl <stesie@brokenpipe.de>
Date: Thu, 1 Feb 2018 19:43:05 +0100
Subject: [PATCH] do parallel build on "vagrant run ... build"

---
 Commandfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Commandfile b/Commandfile
index 35b6fee..635f100 100644
--- a/Commandfile
+++ b/Commandfile
@@ -26,7 +26,7 @@ command 'clean',
 command 'build',
   description: 'executes "make"',
   script: <<-eof
-    cd /data/build; `which gmake || which make`
+    cd /data/build; `which gmake || which make` -j4
     eof
 
 command 'test',