update server info
authorBarış Metin <Talip-Baris.Metin@sophia.inria.fr>
Thu, 2 Sep 2010 13:30:25 +0000 (15:30 +0200)
committerBarış Metin <Talip-Baris.Metin@sophia.inria.fr>
Thu, 2 Sep 2010 13:30:25 +0000 (15:30 +0200)
scripts/git-check.sh

index 4593317..fe559c9 100755 (executable)
@@ -39,6 +39,20 @@ function fill_descriptions () {
     echo ""
 }
 
+function update_server_info () {
+    echo "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx updating server info "
+    for arg in "$@" ; do
+       # accept args like plcapi or plcapi.git
+       b=$(basename $arg .git)
+       git=${b}.git
+       echo -n "$git "
+        cd $git
+        git update-server-info
+        cd - >& /dev/null
+    done
+    echo ""
+}
+
 function check_permissions () {
     echo "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx checking permissions "
     for arg in "$@" ; do
@@ -89,6 +103,7 @@ function check_hooks () {
 args="$@"
 [[ -z "$args" ]] && args=$(ls -d *.git)
 fill_descriptions $args
+update_server_info $args
 check_permissions $args
 check_configs $args
 check_hooks $args