From 48c9280c9a255f2a85ad5729830df884e64a9c5d Mon Sep 17 00:00:00 2001 From: Giulio Cesare Solaroli Date: Wed, 17 Apr 2013 15:45:39 +0000 Subject: Updated build script to handle 'checksum' target The build script can now be invoked, for example, with the following options: > ./scripts/build checksum --frontend beta gamma --- (limited to 'scripts/builder/main.py') 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 (): clean() versions = list(itertools.takewhile(lambda x: not x.startswith('--'), parameters)) - settings['versions'] = versions; #['debug', 'install', 'development'] + settings['versions'] = versions; #['debug', 'install', 'development', 'checksum'] parameters = deque(itertools.dropwhile(lambda x: not x.startswith('--'), parameters)) if len(parameters) > 0: @@ -175,6 +175,11 @@ def main (): else: parameter = None + if 'checksum' in settings['versions']: + if not 'backends' in settings: + settings['backends'] = [] + settings['backends'].append('checksum') + if (not settings.has_key('versions')): usage("missing 'versions'") if (not settings.has_key('frontends')): -- cgit v0.9.0.2