pcregrep.c isn't going to work on x86_64.

git-svn-id: http://llvm.org/svn/llvm-project/klee/trunk@77574 91177308-0d34-0410-b5e6-96231b3b80d8
ldct · Jul 30, 2009 · 32d627a · 32d627a
1 parent 3ce8b56
commit 32d627a
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/test/Programs/pcregrep.c b/test/Programs/pcregrep.c
@@ -1,5 +1,6 @@
-// RUN: %llvmgcc %s -emit-llvm -O0 -c -o %t1.bc
+// RUN: %llvmgcc -m32 %s -emit-llvm -O0 -c -o %t1.bc
 // RUN: %klee --libc=klee --exit-on-error %t1.bc 2 2
+// XFAIL: x86_64
 
 /* Provide Declarations */
 #include <stdarg.h>