Parallel build

2 files changed, 3 insertions, 3 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 1941c188d32b..acb6db9bf69e 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,7 +1,7 @@
 pkgbase = kremlin
 	pkgdesc = a tool for extracting low-level F* programs to readable C code
 	pkgver = 0.9.6.0
-	pkgrel = 1
+	pkgrel = 2
 	url = https://github.com/FStarLang/kremlin
 	arch = i686
 	arch = x86_64
diff --git a/PKGBUILD b/PKGBUILD
index e67e4c4d5cb5..c3a9791a81bf 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,7 +2,7 @@
 
 pkgname=kremlin
 pkgver=0.9.6.0
-pkgrel=1
+pkgrel=2
 pkgdesc="a tool for extracting low-level F* programs to readable C code"
 arch=('i686' 'x86_64')
 url='https://github.com/FStarLang/kremlin'
@@ -16,7 +16,7 @@ build() {
   cd "$srcdir/"*/
   export FSTAR_HOME=/opt/fstar
   export PATH="$PATH:$FSTAR_HOME/bin"
-  make
+  make -j4
 }
 
 package() {