aboutsummaryrefslogtreecommitdiffstats
path: root/gen/generator.py
diff options
context:
space:
mode:
authorBryan Ward <bcw@cs.unc.edu>2013-04-18 16:12:24 -0400
committerBryan Ward <bcw@cs.unc.edu>2013-04-18 16:12:24 -0400
commit4503e19601635059d2e4e8f7651f9b4b168a6e7a (patch)
tree4578b7676a722b627500ecb7b0c1db47fb90826b /gen/generator.py
parente1eed1bc02642210a53618147cd55c180bc716ca (diff)
DGL support.
Diffstat (limited to 'gen/generator.py')
-rw-r--r--gen/generator.py2
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),