From 4674a262e50dd40c831240d9cf11bd37e8301699 Mon Sep 17 00:00:00 2001 From: Marek Chalupa Date: Tue, 18 Jun 2019 15:50:15 +0200 Subject: [PATCH] fix build scripts Missing " in a previous commit. --- build.sh | 2 +- system-build.sh | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/build.sh b/build.sh index 43734bc2..c817a2e8 100755 --- a/build.sh +++ b/build.sh @@ -1023,7 +1023,7 @@ fi $LLVM_PREFIX/lib/libRangeAnalysisPlugin.so \ $LLVM_PREFIX/lib/libCheckNSWPlugin.so \ $LLVM_PREFIX/lib/libInfiniteLoopsPlugin.so \ - $LLVM_PREFIX/lib/libValueRelationsPlugin.so + $LLVM_PREFIX/lib/libValueRelationsPlugin.so" if [ ${BUILD_KLEE} = "yes" ]; then LIBRARIES="${LIBRARIES} \ diff --git a/system-build.sh b/system-build.sh index a030c10c..950697cb 100755 --- a/system-build.sh +++ b/system-build.sh @@ -562,7 +562,7 @@ fi $LLVM_PREFIX/lib/libRangeAnalysisPlugin.so \ $LLVM_PREFIX/lib/libCheckNSWPlugin.so \ $LLVM_PREFIX/lib/libInfiniteLoopsPlugin.so \ - $LLVM_PREFIX/lib/libValueRelationsPlugin.so + $LLVM_PREFIX/lib/libValueRelationsPlugin.so" if [ ${BUILD_KLEE} = "yes" ]; then LIBRARIES="${LIBRARIES} \