summaryrefslogtreecommitdiff
path: root/scripts/builder/main.py
Side-by-side diff
Diffstat (limited to 'scripts/builder/main.py') (more/less context) (ignore whitespace changes)
-rwxr-xr-xscripts/builder/main.py5
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):
if repository.areTherePendingChanges():
- if 'install' in settings['versions']:
+ if 'install' in settings['versions'] and not settings['forcedirty']:
raise Exception("repository has pending changes, can't 'install'")
@@ -152,2 +152,5 @@ def main ():
+ settings['forcedirty'] = len(parameters)
+ parameters = list(itertools.ifilter(lambda x: not x=='--force-dirty', parameters))
+ settings['forcedirty'] = len(parameters)==settings['forcedirty']
clean()