Also add configure options to checksum.

diff --git a/smart-configure.sh b/smart-configure.sh
index fa27ed846275b07293ad4c59aaaf6a6b75549348..f82c0857451709998bd7661a2598c478f23737fa 100755 (executable)
--- 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