update server info

[infrastructure.git] / scripts / git-check.sh

diff --git a/scripts/git-check.sh b/scripts/git-check.sh
index 4593317..fe559c9 100755 (executable)
--- a/scripts/git-check.sh
+++ b/scripts/git-check.sh
@@ -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