| commit | ad370c267487af38dc202ef8bbfd5f3bfc69fae5 | [log] [tgz] |
|---|---|---|
| author | Petr Ruzicka <petr.ruzicka@gmail.com> | Tue Feb 06 13:01:30 2018 +0100 |
| committer | Petr Ruzicka <petr.ruzicka@gmail.com> | Tue Feb 06 15:57:02 2018 +0100 |
| tree | ad87511736291e65fcf61e58dcf1be39ac74873f | |
| parent | 5aa447bd1131c2b0be1c33ceb9e74f51d6a5b00c [diff] |
Allow DEBUGging of the run_tests.sh script (and maybe more) Change-Id: I25adb0966574bdac05ea0608b73656d07f14eacf