summaryrefslogtreecommitdiff
path: root/scripts/builder/main.py
Unidiff
Diffstat (limited to 'scripts/builder/main.py') (more/less context) (ignore whitespace changes)
-rwxr-xr-xscripts/builder/main.py7
1 files changed, 6 insertions, 1 deletions
diff --git a/scripts/builder/main.py b/scripts/builder/main.py
index b9fe04a..ecdbf6a 100755
--- a/scripts/builder/main.py
+++ b/scripts/builder/main.py
@@ -152,7 +152,7 @@ def main ():
152 152
153 clean() 153 clean()
154 versions = list(itertools.takewhile(lambda x: not x.startswith('--'), parameters)) 154 versions = list(itertools.takewhile(lambda x: not x.startswith('--'), parameters))
155 settings['versions'] = versions; #['debug', 'install', 'development'] 155 settings['versions'] = versions; #['debug', 'install', 'development', 'checksum']
156 parameters = deque(itertools.dropwhile(lambda x: not x.startswith('--'), parameters)) 156 parameters = deque(itertools.dropwhile(lambda x: not x.startswith('--'), parameters))
157 157
158 if len(parameters) > 0: 158 if len(parameters) > 0:
@@ -175,6 +175,11 @@ def main ():
175 else: 175 else:
176 parameter = None 176 parameter = None
177 177
178 if 'checksum' in settings['versions']:
179 if not 'backends' in settings:
180 settings['backends'] = []
181 settings['backends'].append('checksum')
182
178 if (not settings.has_key('versions')): 183 if (not settings.has_key('versions')):
179 usage("missing 'versions'") 184 usage("missing 'versions'")
180 if (not settings.has_key('frontends')): 185 if (not settings.has_key('frontends')):