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