diff options
-rwxr-xr-x | devtools/flocktest | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/devtools/flocktest b/devtools/flocktest index ce69e2c3..594ccb3f 100755 --- a/devtools/flocktest +++ b/devtools/flocktest @@ -294,7 +294,7 @@ if __name__ == '__main__': if arguments: config.set("DEFAULT", "origin", arguments[0]) if not config.has_option("DEFAULT", "origin"): - print >>sys.stderr, "flocktest: repository required," + print >>sys.stderr, "flocktest: repository required." sys.exit(1) sites = [] for site in config.sections(): |