diff options
author | Michał Górny <mgorny@gentoo.org> | 2017-11-24 21:59:35 +0100 |
---|---|---|
committer | Michał Górny <mgorny@gentoo.org> | 2017-11-24 21:59:35 +0100 |
commit | 9c698f7dd2ff18db72de3415c1fb6e08e048f952 (patch) | |
tree | 8562704b9608268d94cea7f8ed2f7cd25b74f28e /utils | |
parent | e2fa3ef180236a7d12962c5d055191203159b191 (diff) | |
download | gemato-9c698f7dd2ff18db72de3415c1fb6e08e048f952.tar.gz |
Fix wrong timestamp name for metadata/*
Diffstat (limited to 'utils')
-rwxr-xr-x | utils/gen_fast_metamanifest.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/utils/gen_fast_metamanifest.py b/utils/gen_fast_metamanifest.py index 2c9a587..bd26c09 100755 --- a/utils/gen_fast_metamanifest.py +++ b/utils/gen_fast_metamanifest.py @@ -62,8 +62,8 @@ IGNORE timestamp.x ''') for mdir in ('dtd', 'glsa', 'news', 'xml-schema'): with io.open(os.path.join('metadata', mdir, 'Manifest'), 'wb') as f: - f.write(b'''IGNORE timestamp -IGNORE timestamp.chk + f.write(b'''IGNORE timestamp.chk +IGNORE timestamp.commit ''') with io.open('Manifest', 'wb') as f: f.write(b'''IGNORE distfiles |