diff options
author | Michał Górny <mgorny@gentoo.org> | 2017-11-24 21:13:34 +0100 |
---|---|---|
committer | Michał Górny <mgorny@gentoo.org> | 2017-11-24 21:13:34 +0100 |
commit | 89b80532c081fb177e050a80b78c5dd9632df112 (patch) | |
tree | c0fdcc66b385a5ed9ebcac68f5ed4917a66bcfd9 /utils | |
parent | c859f53acfd137df1d388a50b467e2a68f077d48 (diff) | |
download | gemato-89b80532c081fb177e050a80b78c5dd9632df112.tar.gz |
Ignore timestamps in metadata subrepos
Diffstat (limited to 'utils')
-rwxr-xr-x | utils/gen_fast_metamanifest.py | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/utils/gen_fast_metamanifest.py b/utils/gen_fast_metamanifest.py index 9217a34..58596ae 100755 --- a/utils/gen_fast_metamanifest.py +++ b/utils/gen_fast_metamanifest.py @@ -57,6 +57,15 @@ def gen_metamanifest(top_dir): IGNORE timestamp.chk IGNORE timestamp.commit IGNORE timestamp.x +IGNORE dtd/timestamp +IGNORE dtd/timestamp.chk +IGNORE xml-schema/timestamp +IGNORE xml-schema/timestamp.chk +''') + for mdir in ('glsa', 'news'): + with io.open(os.path.join('metadata', mdir, 'Manifest'), 'wb') as f: + f.write(b'''IGNORE timestamp + IGNORE timestamp.chk ''') with io.open('Manifest', 'wb') as f: f.write(b'''IGNORE distfiles |