From 3ebc71ae75d17a44610f7c2199ddc74c30e0a06b Mon Sep 17 00:00:00 2001 From: lukekoko Date: Tue, 1 Jun 2021 17:54:19 +1000 Subject: [PATCH 1/2] Remove generate bc from build.sh --- build.sh | 8 -------- 1 file changed, 8 deletions(-) diff --git a/build.sh b/build.sh index 0a863bcc6..69264dd6a 100755 --- 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 ######## From 71f1a4616339270c6515f1eb3e684df02cc9ce90 Mon Sep 17 00:00:00 2001 From: Luke Date: Wed, 2 Jun 2021 15:13:19 +1000 Subject: [PATCH 2/2] Remove linux only testing --- .travis.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.travis.yml b/.travis.yml index 1d2dfaa7c..c670cedde 100644 --- 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