Commit 4acc8837 authored by thomas.forbriger's avatar thomas.forbriger

src/compile.sh: rephrase report on missing goal

parent bd4bcf99
......@@ -33,11 +33,13 @@
# 14/05/2015 thof: introduce dry-run option
# read list of directories from file
# 15/05/2015 thof: provide extended error handling
# 18/07/2019 thof: rephrase report on missing goal
# (should not sound like an error)
#
# ============================================================================
#
# indicate version
VERSION=2015-05-15
VERSION=2019-07-18
#
# ============================================================================
# **** define usage functions ****
......@@ -197,7 +199,7 @@ makegoalindir() {
fi
fi
else
echo >&2 " ** goal \"$GOAL\" is missing in $DIR!"
echo >&2 " ** goal \"$GOAL\" is not available in $DIR"
if test 0$ERROR_MISSING -gt 0
then
if test 0$ERROR_CONTINUE -gt 0
......
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 to comment