[openssl-commits] [tools] master update

[Rich Salz]

The branch master has been updated
       via  d47b4330cc7f0d17b9033112d98a1488f6db4ffb (commit)
      from  3e81d028d550ffa98787c1a23c27fc0db13a922a (commit)


- Log -----------------------------------------------------------------
commit d47b4330cc7f0d17b9033112d98a1488f6db4ffb
Author: Rich Salz <rsalz at akamai.com>
Date:   Thu Jun 15 07:39:50 2017 -0400

    Comment out local script remake

-----------------------------------------------------------------------

Summary of changes:
 review-tools/ghmerge | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/review-tools/ghmerge b/review-tools/ghmerge
index 85ad021..5f9308c 100755
--- a/review-tools/ghmerge
+++ b/review-tools/ghmerge
@@ -58,8 +58,8 @@ if [ "$MERGE" = "yes" ] ; then
 else
     git rebase $WORK
 fi
-echo Rebuilding
-remake |& tail -3
+# echo Rebuilding
+# remake |& tail -3
 
 echo -n Press return to push: ; read foo
 git push origin $REL