diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2019-04-01 21:09:49 +0200 |
---|---|---|
committer | Eelco Dolstra <edolstra@gmail.com> | 2019-04-01 21:09:49 +0200 |
commit | 41ba5135e0a2d9940c4e8cbedff44eb1a47af782 (patch) | |
tree | fbf7131ee1f3dd4463358500414df5de829c84db /tests/simple.builder.sh | |
parent | 2bc6304793e14e44d6d24c1fb35666352c7106f2 (diff) |
primeCache(): Barf if builds are needed but not allowed
Fixes #2753.
Diffstat (limited to 'tests/simple.builder.sh')
0 files changed, 0 insertions, 0 deletions