X-Git-Url: https://git.donarmstrong.com/?a=blobdiff_plain;f=smart-configure.sh;h=8ba39eb7dc9237939fa74d1210971bb51419f960;hb=97a0169312a260933246ab224e4f8b0969871dd5;hp=d55947f08c2f07756d1494beeaea7fc513c64a6e;hpb=2f0c6eb19208485a86d3416db3f3640a1d54752a;p=lilypond.git diff --git a/smart-configure.sh b/smart-configure.sh index d55947f08c..8ba39eb7dc 100755 --- 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