aboutsummaryrefslogtreecommitdiffstats
path: root/gen_exps.py
diff options
context:
space:
mode:
Diffstat (limited to 'gen_exps.py')
-rwxr-xr-xgen_exps.py15
1 files changed, 9 insertions, 6 deletions
diff --git a/gen_exps.py b/gen_exps.py
index b847661..00ce27b 100755
--- a/gen_exps.py
+++ b/gen_exps.py
@@ -43,6 +43,14 @@ def load_file(fname):
43 except: 43 except:
44 raise IOError("Invalid generation file: %s" % fname) 44 raise IOError("Invalid generation file: %s" % fname)
45 45
46def print_descriptions(described):
47 for generator in described.split(','):
48 if generator not in gen.get_generators():
49 sys.stderr.write("No generator '%s'\n" % generator)
50 else:
51 print("Generator '%s', " % generator)
52 gen.get_generators()[generator]().print_help()
53
46def main(): 54def main():
47 opts, args = parse_args() 55 opts, args = parse_args()
48 56
@@ -50,12 +58,7 @@ def main():
50 if opts.list_gens: 58 if opts.list_gens:
51 print(", ".join(gen.get_generators())) 59 print(", ".join(gen.get_generators()))
52 if opts.described != None: 60 if opts.described != None:
53 for generator in opts.described.split(','): 61 print_descriptions(opts.described)
54 if generator not in gen.get_generators():
55 sys.stderr.write("No generator '%s'\n" % generator)
56 else:
57 print("Generator '%s', " % generator)
58 gen.get_generators()[generator]().print_help()
59 if opts.list_gens or opts.described: 62 if opts.list_gens or opts.described:
60 return 0 63 return 0
61 64