diff options
author | Florian Pritz <bluewind@xinu.at> | 2017-03-03 19:33:37 +0100 |
---|---|---|
committer | Florian Pritz <bluewind@xinu.at> | 2017-03-03 19:34:42 +0100 |
commit | b0b284add2f55633b5a68fbc8c373dd70954b700 (patch) | |
tree | f2ef18cd6a161b9755aed98f8cb034b42e38f1bd /index.php | |
parent | 2fab22fc34561d037e8d41fed2f70e0d3eff205d (diff) |
run-tests.sh: Only use phpdbg when coverage information is gathered
For some reason phpdbg crashes for me right now so this is a quick
workaround to get the tests to run again.
Signed-off-by: Florian Pritz <bluewind@xinu.at>
Diffstat (limited to 'index.php')
0 files changed, 0 insertions, 0 deletions