prover9-2009.11A-3

2 files changed, 3 insertions, 3 deletions

diff --git a/.SRCINFO b/.SRCINFO
index ee30fe605602..003a1ec49b90 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,7 +1,7 @@
 pkgbase = prover9
 	pkgdesc = Prover9 is an automated theorem prover for first-order and equational logic
 	pkgver = 2009.11A
-	pkgrel = 2
+	pkgrel = 3
 	url = http://www.cs.unm.edu/~mccune/prover9/
 	arch = i686
 	arch = x86_64
diff --git a/PKGBUILD b/PKGBUILD
index c186171d203a..b31c8a62a609 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,7 +2,7 @@
 # Submitter: Max de Bayser <maxdebayser@gmail.com>
 pkgname=prover9
 pkgver=2009.11A
-pkgrel=2
+pkgrel=3
 pkgdesc="Prover9 is an automated theorem prover for first-order and equational logic"
 arch=('i686' 'x86_64')
 url="http://www.cs.unm.edu/~mccune/prover9/"
@@ -15,7 +15,7 @@ md5sums=('ab409f31ecbb4410b1c7d75deadea2c6')
 build() {
   cd "$srcdir/LADR-${pkgver/./-}"
 
-  make all
+  make all -j1
 }
 
 package() {