]> git.pld-linux.org Git - packages/ejabberd.git/commitdiff
More helpful messages in ejabberd-pack_deps.sh
authorJacek Konieczny <jajcus@jajcus.net>
Thu, 14 Nov 2013 19:19:11 +0000 (20:19 +0100)
committerJacek Konieczny <jajcus@jajcus.net>
Thu, 14 Nov 2013 19:19:11 +0000 (20:19 +0100)
ejabberd-pack_deps.sh

index 3b165ac646e667508b39f147d8a360fdf26697cc..dc369fa3fdbea271650fb233b4a579e55eae2e85 100755 (executable)
@@ -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
This page took 0.100157 seconds and 4 git commands to generate.