Merge pull request #455 from lukekoko/remove-generate_bc-from-build.sh

Remove generate bc from build.sh
SVF-tools · Jun 2, 2021 · 827d587 · 827d587
2 parents 53ce786 + 71f1a46
commit 827d587
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 9 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -29,7 +29,7 @@ script:
   - if [ "$TRAVIS_OS_NAME" = "linux" ]; then git add .; fi
   - if [ "$TRAVIS_OS_NAME" = "linux" ]; then git commit -m'update version'; fi
   - if [ "$TRAVIS_OS_NAME" = "linux" ]; then npm version patch; fi
-  - if [ "$TRAVIS_OS_NAME" = "linux" ]; then git clone "https://github.com/SVF-tools/Test-Suite.git"; fi
+  - git clone "https://github.com/SVF-tools/Test-Suite.git"
   - . ./build.sh
   - cd ./Release-build
   - ctest -VV

diff --git a/build.sh b/build.sh
@@ -120,14 +120,6 @@ fi
 export PATH=$LLVM_DIR/bin:$PATH
 echo "LLVM_DIR =" $LLVM_DIR
 
-# if test-suite is present then build bc files for testing
-if [ -d "./Test-Suite" ]
-then
-    cd ./Test-Suite
-    ./generate_bc.sh
-    cd ..
-fi
-
 ########
 # Build SVF
 ########