-rwxr-xr-x | scripts/builder/main.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/scripts/builder/main.py b/scripts/builder/main.py index ecdbf6a..47e10a0 100755 --- a/scripts/builder/main.py +++ b/scripts/builder/main.py | |||
@@ -90,3 +90,3 @@ def build (settings, repository): | |||
90 | if repository.areTherePendingChanges(): | 90 | if repository.areTherePendingChanges(): |
91 | if 'install' in settings['versions']: | 91 | if 'install' in settings['versions'] and not settings['forcedirty']: |
92 | raise Exception("repository has pending changes, can't 'install'") | 92 | raise Exception("repository has pending changes, can't 'install'") |
@@ -152,2 +152,5 @@ def main (): | |||
152 | 152 | ||
153 | settings['forcedirty'] = len(parameters) | ||
154 | parameters = list(itertools.ifilter(lambda x: not x=='--force-dirty', parameters)) | ||
155 | settings['forcedirty'] = len(parameters)==settings['forcedirty'] | ||
153 | clean() | 156 | clean() |