Add --tools flag

Reviewed-by: Tim Hudson <tjh@openssl.org>
(Merged from https://github.com/openssl/tools/pull/14)

diff --git a/review-tools/ghmerge b/review-tools/ghmerge
index ea6b0ec4eaaceb98ab358cf8d16106d8778a01d9..7f00b7c8a1c111095e6e4f5d82ed8c826105473f 100755 (executable)
--- a/review-tools/ghmerge
+++ b/review-tools/ghmerge
@@ -12,6 +12,9 @@ if [ ! -d .git ] ; then
     exit 1
 fi
 
+if [ "$1" = "--tools" ] ; then
+    WHAT=tools ; MERGE=yes ; BUILD=no ; shift
+fi
 if [ "$1" = "--web" ] ; then
     WHAT=web ; MERGE=yes ; BUILD=no ; shift
 fi
@@ -82,6 +85,7 @@ if [ "$MERGE" == "yes" ] ; then
 else
     git rebase $WORK
 fi
+
 # echo Rebuilding
 # opensslbuild |& tail -3