Add --pull and --help option to git_checkout.sh

`--pull` option allows us to checkout all latest updates from repository easily.

Author: shuichiro-makigaki

git_checkout.sh

@@ -1,15 +1,42 @@
 #!/bin/sh
 
-if [ $# -ne 1 ]; then
+usage()
+{
+  echo "Usage: ./git_checkout.sh [-h|--help] [--pull] BRANCH"
+}
+
+WITH_PULL=1
+BRANCH=
+
+for opt in $@; do
+  case ${opt} in
+    -h|--help)
+      usage
+      exit 1
+      ;;
+    --pull)
+      WITH_PULL=0
+      ;;
+    *)
+      BRANCH=${opt}
+      ;;
+  esac
+  shift
+done
+
+if [ -z "${BRANCH}" ]; then
   echo "[ERROR] branch not specified"
-  echo "Usage: ./git_checkout.sh BRANCH"
+  usage
   exit 1
 fi
 
 for dir in `find deps/leo_* -maxdepth 0` deps/savanna_commons deps/savanna_agent
 do
   cd $dir
   echo $dir
-  git checkout $1
+  git checkout ${BRANCH}
+  if [ ${WITH_PULL} = 0 ]; then
+    git pull
+  fi
   cd ../../
 done