Index: tests/spec2k/run_all.sh |
diff --git a/tests/spec2k/run_all.sh b/tests/spec2k/run_all.sh |
index c96113bee72fc8c7ad6b90b4f6c2f0557be5808b..ad54a870524f6da836e247d5f04586677d1a7e09 100755 |
--- a/tests/spec2k/run_all.sh |
+++ b/tests/spec2k/run_all.sh |
@@ -1012,7 +1012,7 @@ PopulateFromSpecHarness() { |
# patch if necessary |
if [[ -e $i/diff ]] ; then |
echo "PATCH" |
- patch -d $i --verbose -p0 < $i/diff |
+ patch -l -d $i --verbose -p0 < $i/diff |
fi |
echo "COMPLETE" |