aboutsummaryrefslogtreecommitdiff
path: root/build.bash
diff options
context:
space:
mode:
authorJakob Unterwurzacher2018-08-11 22:37:22 +0200
committerJakob Unterwurzacher2018-08-11 22:37:22 +0200
commit06f1ea951b03b4a0e8f6090c6657b8e0238da271 (patch)
treec3929aa9c17b87684893c8ecbe19ac5b459652d1 /build.bash
parentf48b731e76fb199352d3e80ea49d76865ee6e604 (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