diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2019-09-18 21:17:27 +0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2019-09-18 21:57:57 +0200 |
| commit | c67407172d8383394f4962ad177c84bf04529e5e (patch) | |
| tree | 6dab718a9dbda0e13c2ceab07521449edd02f98c /local.mk | |
| parent | 092ee246277c76cd80f34088911419058e8b0f2f (diff) | |
Record original flakerefs in the lock file again
If 'input.<name>.uri' changes, then the entry in the lockfile for
input <name> should be considered stale.
Also print some messages when lock file entries are added/updated.
Diffstat (limited to 'local.mk')
0 files changed, 0 insertions, 0 deletions