only set CORES if it doesn't exist

Charlie Somerville · Charlie Somerville · commit 644247a9133b · 2013-08-03T21:11:53.000-07:00
diff --git a/script/cibuild b/script/cibuild
@@ -1,5 +1,8 @@
 #!/bin/bash -xe
-CORES=64
+
+if [ -z "$CORES" ]; then
+  CORES=64
+fi
 
 autoconf
 ./configure --disable-install-doc
