diff options
author | Michał Górny <mgorny@gentoo.org> | 2017-11-24 21:20:36 +0100 |
---|---|---|
committer | Michał Górny <mgorny@gentoo.org> | 2017-11-24 21:20:36 +0100 |
commit | 532e0426108318afa48bf785fef7cb9de533cc7c (patch) | |
tree | 1ab6e873d35828c451d9ed06027b562c0fabc8dc /utils | |
parent | 89b80532c081fb177e050a80b78c5dd9632df112 (diff) | |
download | gemato-532e0426108318afa48bf785fef7cb9de533cc7c.tar.gz |
Create sub-Manifests for dtd & xml-schema
Diffstat (limited to 'utils')
-rwxr-xr-x | utils/gen_fast_metamanifest.py | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/utils/gen_fast_metamanifest.py b/utils/gen_fast_metamanifest.py index 58596ae..7247f67 100755 --- a/utils/gen_fast_metamanifest.py +++ b/utils/gen_fast_metamanifest.py @@ -35,9 +35,11 @@ def manifest_dir_generator(iter_n): if iter_n == 1: # few special metadata subdirectories + yield 'metadata/dtd' yield 'metadata/glsa' yield 'metadata/md5-cache' yield 'metadata/news' + yield 'metadata/xml-schema' # independent top-level dirs yield 'eclass' @@ -57,12 +59,8 @@ 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'): + 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 |