diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2020-01-29 21:01:34 +0100 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2020-01-29 21:04:28 +0100 |
| commit | 26f895a26d37ec6049628fa835e20dfae5eb94dd (patch) | |
| tree | 346863a05459c74bafcea95e0446c45c17bf581b /Makefile | |
| parent | f68bed7f67d9acc13ebe38e6f5aa8a641f6e557d (diff) | |
Clean up the lock file handling flags
Added a flag --no-update-lock-file to barf if the lock file needs any
changes. This is useful for CI systems if you're building a
checkout. Fixes #2947.
Renamed --no-save-lock-file to --no-write-lock-file. It is now a fatal
error if the lock file needs changes but --no-write-lock-file is not
given.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions