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