-rwxr-xr-x | scripts/builder/main.py | 7 |
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 | |||
@@ -154,3 +154,3 @@ def main (): | |||
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)) |
@@ -177,2 +177,7 @@ def main (): | |||
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')): |