From 22dad1ec44d1ae3c9dfaf841d1ed871ce051dc30 Mon Sep 17 00:00:00 2001 From: Jan Nieuwenhuizen Date: Mon, 19 Nov 2007 21:50:39 +0100 Subject: [PATCH] Also add configure options to checksum. --- smart-configure.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/smart-configure.sh b/smart-configure.sh index fa27ed8462..f82c085745 100755 --- a/smart-configure.sh +++ b/smart-configure.sh @@ -5,10 +5,10 @@ set -ux MAKEFILE_MD5=`find $srcdir -name GNUmakefile | grep -v '^./GNUmakefile$' | sort | md5sum | cut -b 1-32` CONFIGURE_INPUT_MD5=`cat $srcdir/config.make.in $srcdir/config.hh.in $srcdir/GNUmakefile.in | md5sum | cut -b 1-32` - +CONFIGURE_OPTIONS_MD5=`echo "$@" | tr ' ' '\n' | sed 's/ */ /g' | grep '.' | sort -u | md5sum | cut -b 1-32` CONFIGURE_CHECKSUM_FILE=configure.checksum -CONFIGURE_CHECKSUM="$MAKEFILE_MD5$CONFIGURE_INPUT_MD5" +CONFIGURE_CHECKSUM="$MAKEFILE_MD5$CONFIGURE_INPUT_MD5$CONFIGURE_OPTIONS_MD5" if test `cat $CONFIGURE_CHECKSUM_FILE` = "$CONFIGURE_CHECKSUM" ; then exit 0 -- 2.39.2