clipperz/password-manager-mirror
1
0
Fork 0
mirror of http://git.whoc.org.uk/git/password-manager.git synced 2025-01-24 20:41:32 +01:00
Code Issues Releases Wiki Activity

Fixed print in repository check

Browse Source
This commit is contained in:
Graham Eades 2020-03-02 18:03:03 +00:00
parent 6f22b5eb6e
commit 1f38736b37
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
scripts/builder/main.py
View File

@ -89,7 +89,7 @@ def build (settings, repository):
if repository.areTherePendingChanges(): if repository.areTherePendingChanges():
if 'install' in settings['versions']: if 'install' in settings['versions']:
# print "\nWARNING: repository has pending changes\n" # print ( "\nWARNING: repository has pending changes\n" )
raise Exception("repository has pending changes, can't 'install'") raise Exception("repository has pending changes, can't 'install'")
else: else:
print ( "\nWARNING: repository has pending changes\n" ) print ( "\nWARNING: repository has pending changes\n" )