X-Git-Url: https://mop.ddnsfree.com/gitweb/?a=blobdiff_plain;f=INSTALL.sh;h=2e934fe1de73726a7a69e28e1fbc91848d808c7f;hb=06c425397c3120b1af1388a5176ef130a0e0cc7e;hp=6ed3fa7582c7b98edb8b21b2d1b7ba9e2dd095e4;hpb=f341c32413c83788cf6cf23fe911c401c2f9adad;p=brisk.git

diff --git a/INSTALL.sh b/INSTALL.sh
index 6ed3fa7..2e934fe 100755
--- a/INSTALL.sh
+++ b/INSTALL.sh
@@ -95,6 +95,14 @@ if [ "$1" = "chk" ]; then
     for i in $(find -name '*.pho' -o -name '*.phh' -o -name '*.php'); do
         php5 -l $i
     done
+
+    taggit="$(git describe --tags | sed 's/^v//g')"
+    tagphp="$(grep "^\$G_brisk_version = " web/Obj/brisk.phh | sed 's/^[^"]\+"//g;s/".*//g')"
+    if [ "$taggit" != "v$tagphp" ]; then
+        echo
+	echo "WARNING: taggit: [$taggit] tagphp: [$tagphp]"
+        echo
+    fi
     exit 0
 fi
 
@@ -413,4 +421,10 @@ fi
 if [ "$web_only" = "FALSE" ]; then
     mv "$ftokk_path" "$ftok_path"
 fi
+if [ -f WARNING.txt ]; then
+    echo ; echo "    ==== WARNING ===="
+    echo
+    cat WARNING.txt
+    echo
+fi
 exit 0