]> granicus.if.org Git - php/commit
projects / php / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 826a745) | patch
Enhance test failure SH script to allow gdb, valgrind, rr as alternative modes.
authorBenjamin Eberlei <kontakt@beberlei.de>
Wed, 15 Apr 2020 13:58:03 +0000 (15:58 +0200)
committerBenjamin Eberlei <kontakt@beberlei.de>
Sat, 18 Apr 2020 14:14:00 +0000 (16:14 +0200)
commitec88bbc4c621b385e79b1475606883a5834403a5
tree91c4385d2654fd055880f8b4382dd048fb1ce354tree | snapshot
parent826a7456717b8fab22d43deedf7b6ab1b1f426becommit | diff
Enhance test failure SH script to allow gdb, valgrind, rr as alternative modes.
run-tests.php diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.