Commit 6e74fe9f by Vladimír Štill

Fix script version detection.

parent c1435022
......@@ -10,7 +10,7 @@ function versions_web {
function scriptversion {
find -maxdepth 1 -type d -name 'divine-*' | sed 's|\./divine-||' | \
while read d; do
echo $1 | grep "^$d" && break
echo $1 | grep -q "^$d" && echo $d && break
done
}
......@@ -44,7 +44,7 @@ if [[ -z $script_version ]]; then
printHelpAndExit >&2
fi
echo "building DIVINE v$version"
echo "building DIVINE $version (script $script_version)"
if [[ $(git status --porcelain | wc -l) -ne 0 ]]; then
echo "WARNING: you seem to have changes in the repository" >&2
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or sign in to comment