diff options
| author | Jakob Unterwurzacher | 2018-08-11 22:37:22 +0200 |
|---|---|---|
| committer | Jakob Unterwurzacher | 2018-08-11 22:37:22 +0200 |
| commit | 06f1ea951b03b4a0e8f6090c6657b8e0238da271 (patch) | |
| tree | c3929aa9c17b87684893c8ecbe19ac5b459652d1 /build.bash | |
| parent | f48b731e76fb199352d3e80ea49d76865ee6e604 (diff) | |
tests: VerifyExistence: panic on inconsistent results
In the past we did not check whether all methods of checking
the file return the same result. We should.
Diffstat (limited to 'build.bash')
0 files changed, 0 insertions, 0 deletions