edge CORES up to 16

Charlie Somerville · Charlie Somerville · commit c98c81b2edbd · 2013-08-08T23:54:57.000-07:00
diff --git a/script/cibuild b/script/cibuild
@@ -1,7 +1,7 @@
 #!/bin/bash -xe
 
 if [ -z "$CORES" ]; then
-  CORES=8
+  CORES=16
 fi
 
 git clean -f -x
