Add a WARNING file to show at the end of the INSTALL script

[brisk.git] / INSTALL.sh

diff --git a/INSTALL.sh b/INSTALL.sh
index 6ed3fa7..1966eca 100755 (executable)
--- a/INSTALL.sh
+++ b/INSTALL.sh
@@ -413,4 +413,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