Improve tools/run_dev.sh to allow custom flags

It is currently impossible or very hard to run tools/run_dev.sh
with a jvm debug port open.

With this change, one can simply run 'tools/run_dev.sh --debug' to open
 the default jvm debug port.

Change-Id: Ie3702affb3a7ee604cfa2dca6836135e0e8663b7

tools/run_dev.sh

diff --git a/tools/run_dev.sh b/tools/run_dev.sh
index 497e9d3..1f4ed5e 100755
--- a/tools/run_dev.sh
+++ b/tools/run_dev.sh
@@ -18,9 +18,18 @@
 
 ROOT="$(cd $(dirname "$0")/..; pwd)"
 PROPERTIES=
-if [ "x$1" != "x" ]; then
-  PROPERTIES="--jvm_flag=-Dcom.google.gitiles.configPath=$1"
-fi
+
+NUMBER_OF_ARGUMENTS=$#
+while test $# -gt 0
+do
+    case "$1" in
+        --debug) PROPERTIES="$PROPERTIES --debug"
+            ;;
+        *) if [ $NUMBER_OF_ARGUMENTS -eq $# ]; then PROPERTIES="$PROPERTIES --jvm_flag=-Dcom.google.gitiles.configPath=$1"; fi
+            ;;
+    esac
+    shift
+done
 
 PROPERTIES="$PROPERTIES --jvm_flag=-Dcom.google.gitiles.sourcePath=$ROOT"
 
@@ -29,4 +38,5 @@
   bazel build java/com/google/gitiles/dev
 )
 
+set -x
 "$ROOT/bazel-bin/java/com/google/gitiles/dev/dev" $PROPERTIES