diff --git a/tools/run-perf-test.sh b/tools/run-perf-test.sh index 1c13ac09d..c60682ae7 100755 --- a/tools/run-perf-test.sh +++ b/tools/run-perf-test.sh @@ -40,16 +40,6 @@ REPEATS="$3" TIMEOUT="$4" BENCH_FOLDER="$5" -if [ ! -x "${ENGINE_OLD}" ] -then - exit_err "\"${ENGINE_OLD}\" is not an executable file..." -fi - -if [ ! -x "${ENGINE_NEW}" ] -then - exit_err "\"${ENGINE_NEW}\" is not an executable file..." -fi - if [ "${REPEATS}" -lt 1 ] then exit_err "REPEATS must be greater than 0"