Fix #26: update build script for public SAW GitHub repos.

GaloisInc · Jun 16, 2015 · 97d059a · 97d059a
1 parent 4a407de
commit 97d059a
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/build-sandbox.sh b/build-sandbox.sh
@@ -4,8 +4,8 @@ set -v
 set -e
 
 PKGS="saw-core cryptol-verifier jvm-verifier llvm-verifier"
-PUBLIC_GITHUB_REPOS="cryptol aig abcBridge jvm-parser llvm-pretty llvm-pretty-bc-parser"
-PRIVATE_GITHUB_REPOS="saw-core cryptol-verifier jvm-verifier llvm-verifier"
+PUBLIC_GITHUB_REPOS="cryptol aig abcBridge jvm-parser llvm-pretty llvm-pretty-bc-parser saw-core cryptol-verifier jvm-verifier llvm-verifier"
+PRIVATE_GITHUB_REPOS=""
 PROGRAMS="alex happy c2hs"
 TESTABLE="saw-core jvm-verifier llvm-verifier"