2 files changed, 2 insertions, 2 deletions
diff --git a/test/Feature/Optimize.c b/test/Feature/Optimize.c
index 3c9159c7..4789d089 100644
--- a/test/Feature/Optimize.c
+++ b/test/Feature/Optimize.c
@@ -1,4 +1,4 @@
-// RUN: %llvmgcc %s --emit-llvm -O0 -c -o %t2.bc
+// RUN: %llvmgcc %s -emit-llvm -O0 -c -o %t2.bc
 // RUN: rm -f %t2.log
 // RUN: %klee --stop-after-n-instructions=100 --optimize %t2.bc > %t3.log
 // RUN: echo "good" > %t3.good
diff --git a/test/Feature/Searchers.c b/test/Feature/Searchers.c
index 95ebddf2..d61037b9 100644
--- a/test/Feature/Searchers.c
+++ b/test/Feature/Searchers.c
@@ -1,4 +1,4 @@
-// RUN: %llvmgcc %s --emit-llvm -O0 -c -o %t2.bc
+// RUN: %llvmgcc %s -emit-llvm -O0 -c -o %t2.bc
 // RUN: %klee %t2.bc
 // RUN: %klee --use-random-search %t2.bc
 // RUN: %klee --use-non-uniform-random-search %t2.bc