Skip to content
Snippets Groups Projects
Commit 7c1c7c57 authored by Stéphane Diemer's avatar Stéphane Diemer
Browse files

Changed log in conf dl.

parent 00a9143c
No related branches found
No related tags found
No related merge requests found
...@@ -7,7 +7,8 @@ if ( curl -I "$conf_url" >/dev/null ); then ...@@ -7,7 +7,8 @@ if ( curl -I "$conf_url" >/dev/null ); then
wget -q "$conf_url" -O /root/envsetup/conf.sh wget -q "$conf_url" -O /root/envsetup/conf.sh
source /root/envsetup/conf.sh source /root/envsetup/conf.sh
else else
echo "Failed to download configuration using url '$conf_url'." echo "Failed to download configuration using url:"
echo " $conf_url"
fi fi
# Autogenerate missing values # Autogenerate missing values
......
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