diff options
| author | Florian Dold <florian.dold@gmail.com> | 2020-08-06 18:16:04 +0530 |
|---|---|---|
| committer | Florian Dold <florian.dold@gmail.com> | 2020-08-06 18:16:04 +0530 |
| commit | ecf763126e858a7878b078fa94f96cee18b5900d (patch) | |
| tree | a3ed31f16998930bfa1b2e3d5b7a1819721def93 /build-system/configure.py | |
| parent | 710f8ade3372975612fbce65dc87a256805c6a3b (diff) | |
improve test shutdown on errors
Diffstat (limited to 'build-system/configure.py')
0 files changed, 0 insertions, 0 deletions