diff options
author | Bryan Ward <bcw@cs.unc.edu> | 2013-04-18 16:12:24 -0400 |
---|---|---|
committer | Bryan Ward <bcw@cs.unc.edu> | 2013-04-18 16:12:24 -0400 |
commit | 4503e19601635059d2e4e8f7651f9b4b168a6e7a (patch) | |
tree | 4578b7676a722b627500ecb7b0c1db47fb90826b /gen/generator.py | |
parent | e1eed1bc02642210a53618147cd55c180bc716ca (diff) |
DGL support.
Diffstat (limited to 'gen/generator.py')
-rw-r--r-- | gen/generator.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gen/generator.py b/gen/generator.py index f35a22b..bfda201 100644 --- a/gen/generator.py +++ b/gen/generator.py | |||
@@ -72,7 +72,7 @@ class Generator(object): | |||
72 | config = get_config_option("RELEASE_MASTER") and True | 72 | config = get_config_option("RELEASE_MASTER") and True |
73 | except: | 73 | except: |
74 | config = False | 74 | config = False |
75 | release_master = list(set([False, config])) | 75 | release_master = list(set([False, bool(config)])) |
76 | 76 | ||
77 | 77 | ||
78 | return [GenOption('tasks', int, range(cpus, 5*cpus, cpus), | 78 | return [GenOption('tasks', int, range(cpus, 5*cpus, cpus), |