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 /system/libraries/Driver.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 'system/libraries/Driver.php')
0 files changed, 0 insertions, 0 deletions