[arch-commits] Commit in coq/trunk (PKGBUILD)

[Baptiste Jonglez]

    Date: Thursday, April 19, 2018 @ 21:08:55
  Author: zorun
Revision: 317072

coq: switch back to parallel build

Modified:
  coq/trunk/PKGBUILD

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

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2018-04-19 19:12:37 UTC (rev 317071)
+++ PKGBUILD	2018-04-19 21:08:55 UTC (rev 317072)
@@ -43,7 +43,7 @@
     -coqide opt \
     -with-doc yes
 
-  make -j1 world
+  make world
 }
 
 package_coq() {