Add --tools flag

Reviewed-by: Tim Hudson <tjh@openssl.org> (Merged from #14)
openssl · May 21, 2018 · c0ba851 · c0ba851
1 parent a3215cf
commit c0ba851
Showing 1 changed file with 4 additions and 0 deletions.
diff --git 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