fix build scripts

Missing " in a previous commit.
staticafi · Jun 18, 2019 · 4674a26 · 4674a26
1 parent 2c98a7c
commit 4674a26
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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
@@ -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} \