Skip to content
Snippets Groups Projects
Commit 45cde702 authored by Christoph Grüninger's avatar Christoph Grüninger
Browse files

[dunecontrol] Error message for invalid path in DUNE_CONTROL_PATH

parent 9a4f79ad
No related branches found
No related tags found
1 merge request!926[dunecontrol] Error message for invalid path in DUNE_CONTROL_PATH
Pipeline #33352 passed
......@@ -232,6 +232,10 @@ setup_control_path() {
local TMP=""
# foreach dir in $@
while read dir; do
if ! test -e "$dir"; then
echo "ERROR: The path \"$dir\" given in DUNE_CONTROL_PATH does not exist."
exit 1
fi
TMP=$TMP:"$(canonicalname "$dir")"
done <<EOF
$(echo $DUNE_CONTROL_PATH | sed -e 's/:\+/:/g' | tr ':' '\n')
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment