diff options
| author | Jonathan Herman <hermanjl@cs.unc.edu> | 2013-04-25 16:43:49 -0400 |
|---|---|---|
| committer | Jonathan Herman <hermanjl@cs.unc.edu> | 2013-04-25 16:43:49 -0400 |
| commit | 15f231a79320cbc97cd88d8a4751515a47ce223e (patch) | |
| tree | b86b202cadc816a5da7b96372b9de4362da88116 /gen_exps.py | |
| parent | 2ceaa6c607ef85bde4f14017634d9d1621efca29 (diff) | |
Bug fixes from testing.
Diffstat (limited to 'gen_exps.py')
| -rwxr-xr-x | gen_exps.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gen_exps.py b/gen_exps.py index b847661..65f50d8 100755 --- a/gen_exps.py +++ b/gen_exps.py | |||
| @@ -59,7 +59,7 @@ def main(): | |||
| 59 | if opts.list_gens or opts.described: | 59 | if opts.list_gens or opts.described: |
| 60 | return 0 | 60 | return 0 |
| 61 | 61 | ||
| 62 | params = filter(lambda x : re.match("\w+=\w+", x), args) | 62 | params = filter(lambda x : re.match("\w+=[\.\w]+", x), args) |
| 63 | 63 | ||
| 64 | # Ensure some generator is loaded | 64 | # Ensure some generator is loaded |
| 65 | args = list(set(args) - set(params)) | 65 | args = list(set(args) - set(params)) |