From be8e8142f6b898c10ce5d50725714767fcf6ffea Mon Sep 17 00:00:00 2001 From: Jacek Konieczny Date: Thu, 14 Nov 2013 20:19:11 +0100 Subject: [PATCH] More helpful messages in ejabberd-pack_deps.sh --- ejabberd-pack_deps.sh | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/ejabberd-pack_deps.sh b/ejabberd-pack_deps.sh index 3b165ac..dc369fa 100755 --- a/ejabberd-pack_deps.sh +++ b/ejabberd-pack_deps.sh @@ -8,6 +8,11 @@ if [ "$(basename $current_dir)" != "deps" ] \ exit 1 fi +if [ -e ../config.status ] ; then + echo "You should first run ./configure with all wanted options." + exit 1 +fi + rm -f .got || : for dir in * ; do [ -d "$dir" ] || continue -- 2.43.0