Jean-Christophe Fillion-Robin db0ed0a625 test_driver: Add --debug option to avoid deleting the build directory
This is particularly useful when debugging Toolchain
2016-04-13 19:54:28 -04:00
..