diff options
author | Jan Holthuis <jan.holthuis@ruhr-uni-bochum.de> | 2020-07-04 03:04:32 +0200 |
---|---|---|
committer | Jan Holthuis <jan.holthuis@ruhr-uni-bochum.de> | 2020-08-08 13:22:39 +0200 |
commit | fe948427cd2dcc293c8463a92a00b5fde351da7e (patch) | |
tree | 091d5eb260604a7518424e0ddd07b73503f4a949 /build/depends.py | |
parent | 0bf826673c3969bae38c93c4a123cab8e707fc11 (diff) |
test: Break if DEBUG_ASSERTION is encountered
Diffstat (limited to 'build/depends.py')
0 files changed, 0 insertions, 0 deletions