@@ -2009,11 +2009,12 @@ orig-cmdline))))) (debug:print 0 *default-log-port* "ORIG: " orig-cmdline) (debug:print 0 *default-log-port* "NEW: " newcmdline) (system newcmdline))) run-specs)) - (handle-run-requests target runname keys keyvals need-clean)))))) + (handle-run-requests target runname keys keyvals need-clean)))) + (set! *didsomething* #t))) ;;====================================================================== ;; run one test ;;======================================================================