diff --git a/run-tests.php b/run-tests.php index f5c7be8b4f45..231d7f2b6445 100755 --- a/run-tests.php +++ b/run-tests.php @@ -2769,6 +2769,9 @@ function run_test(string $php, $file, array $env): string "valgrind") USE_ZEND_ALLOC=0 valgrind $2 {$orig_cmd} ;; +"strace") + strace -o /tmp/strace -tt -ff $2 {$orig_cmd} + ;; "rr") rr record $2 {$orig_cmd} ;;