Doc-es: various updates.

[lilypond.git] / smart-configure.sh

diff --git a/smart-configure.sh b/smart-configure.sh
index d55947f08c2f07756d1494beeaea7fc513c64a6e..8ba39eb7dc9237939fa74d1210971bb51419f960 100755 (executable)
--- a/smart-configure.sh
+++ b/smart-configure.sh
@@ -14,7 +14,6 @@ if test `cat $CONFIGURE_CHECKSUM_FILE` = "$CONFIGURE_CHECKSUM" ; then
   exit 0
 fi
 
-set -e
-$srcdir/configure "$@"
+( set +ux; echo Invoking configure...; $srcdir/configure "$@" ) || exit 1
 printf "%s" $CONFIGURE_CHECKSUM > $CONFIGURE_CHECKSUM_FILE