Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/monodevelop.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlan McGovern <alan@xamarin.com>2015-12-17 17:24:02 +0300
committerAlan McGovern <alan@xamarin.com>2015-12-17 17:24:02 +0300
commitd0c771f59fe55bd7f56ad7eeedc95c2da7c4a2bf (patch)
treefb25308a4d4ad87d28c73a3c546f7419092cbac5 /configure
parent16bd222c073bfa96a76d4ede80fb9ac65b041239 (diff)
[build] Error out with a nice warning if submodules are missing
It's even coloured red now to make it even more obvious that something failed.
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure5
1 files changed, 4 insertions, 1 deletions
diff --git a/configure b/configure
index c3e315f3b9..aad95834ec 100755
--- a/configure
+++ b/configure
@@ -196,7 +196,10 @@ configure_packages ()
elif test -a $path/configure.sh; then
sct=./configure.sh
else
- echo Configuration script not found in directory: $p
+ echo -en '\033[0;31m'
+ echo Configuration script not found in directory: $path
+ echo Try running $ git submodule update --init --recursive
+ echo -en '\033[0m'
exit 1
fi
pushd $path > /dev/null