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() {
