diff options
-rwxr-xr-x | tests/runtests.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/runtests.pl b/tests/runtests.pl index 5b51d3e4f..6c8b903c3 100755 --- a/tests/runtests.pl +++ b/tests/runtests.pl @@ -3865,7 +3865,7 @@ sub singletest { if($cmdtype eq "perl") { # run the command line prepended with "perl" $cmdargs ="$cmd"; - $CMDLINE = "perl "; + $CMDLINE = "$perl "; $tool=$CMDLINE; $disablevalgrind=1; } |