diff build-all.sh @ 50:ec5b5a9adac2

Overhaul to use Vext for external repos
author Chris Cannam <c.cannam@qmul.ac.uk>
date Wed, 28 Jun 2017 10:49:26 +0100
parents b51164a0c0f9
children 5e9027b32179
line wrap: on
line diff
--- a/build-all.sh	Wed Jun 28 09:34:21 2017 +0100
+++ b/build-all.sh	Wed Jun 28 10:49:26 2017 +0100
@@ -7,12 +7,14 @@
 
 set -eu
 
+./vext install
+
 for x in *; do
-    if [ -d "$x" ] && [ -f "$x/Makefile" ]; then
+    if [ -d "$x" ] && [ -d "ext/$x" ] && [ -f "$x/Makefile" ]; then
 	if [ -n "$clean" ]; then
 	    make -C "$x" clean
 	fi
-        make -C "$x" em
+        make -C "$x" -j3 em
     fi
 done