diff options
Diffstat (limited to 'testing/gitstats/gitstats-output.patch')
| -rw-r--r-- | testing/gitstats/gitstats-output.patch | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/testing/gitstats/gitstats-output.patch b/testing/gitstats/gitstats-output.patch new file mode 100644 index 0000000000..118a4cbb34 --- /dev/null +++ b/testing/gitstats/gitstats-output.patch @@ -0,0 +1,15 @@ +--- gitstats/gitstats.orig ++++ gitstats/gitstats +@@ -1376,10 +1376,8 @@ + exectime_internal = time_end - time_start + print 'Execution time %.5f secs, %.5f secs (%.2f %%) in external commands)' % (exectime_internal, exectime_external, (100.0 * exectime_external) / exectime_internal) + if sys.stdin.isatty(): +- print 'You may now run:' +- print +- print ' sensible-browser \'%s\'' % os.path.join(outputpath, 'index.html').replace("'", "'\\''") +- print ++ print 'The report is available at:' ++ print '\'%s\'' % os.path.join(outputpath, 'index.html').replace("'", "'\\''") + + if __name__=='__main__': + g = GitStats() |