Index: tests/spec2k/run_all.sh |
diff --git a/tests/spec2k/run_all.sh b/tests/spec2k/run_all.sh |
index 1618df1b2212f5d61a0c402c8873e8df0b2e0467..41ce0dbb94a2df3a05cc3ee66570ae1006ba2b53 100755 |
--- a/tests/spec2k/run_all.sh |
+++ b/tests/spec2k/run_all.sh |
@@ -588,7 +588,7 @@ GetInputSize() { |
CheckFileBuilt() { |
local depname="$1" |
local filename="$2" |
- if [[ ! -x "${filename}" ]] ; then |
+ if [[ ! -f "${filename}" ]] ; then |
echo "You have not built ${depname} yet (${filename})!" 1>&2 |
exit -1 |
fi |