From dac80f243f88b6513802407235497abeebd0ce2e Mon Sep 17 00:00:00 2001 From: Fabian Affolter Date: Mon, 4 Mar 2013 08:13:15 +0000 Subject: testing/erlang: patch renamed --- testing/gitstats/gitstats-output.patch | 15 +++++++++++++++ testing/gitstats/output.patch | 15 --------------- 2 files changed, 15 insertions(+), 15 deletions(-) create mode 100644 testing/gitstats/gitstats-output.patch delete mode 100644 testing/gitstats/output.patch (limited to 'testing/gitstats') diff --git a/testing/gitstats/gitstats-output.patch b/testing/gitstats/gitstats-output.patch new file mode 100644 index 000000000..118a4cbb3 --- /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() diff --git a/testing/gitstats/output.patch b/testing/gitstats/output.patch deleted file mode 100644 index 118a4cbb3..000000000 --- a/testing/gitstats/output.patch +++ /dev/null @@ -1,15 +0,0 @@ ---- 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() -- cgit v1.2.3