projects
/
brisk.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
update version
[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