In bisect-runner.pl, run_report_and_exit() now uses run_with_options().

diff --git a/Porting/bisect-runner.pl b/Porting/bisect-runner.pl
index b3963a5..d8172f4 100755 (executable)
--- a/Porting/bisect-runner.pl
+++ b/Porting/bisect-runner.pl
@@ -1003,7 +1003,7 @@ sub report_and_exit {
 }
 
 sub run_report_and_exit {
-    my $ret = system @_;
+    my $ret = run_with_options(undef, @_);
     report_and_exit(!$ret, 'zero exit from', 'non-zero exit from', "@_");
 }