Revision c683a5d1 configure

View differences:

configure
2051 2051
done
2052 2052

  
2053 2053
# Do not overwrite config.h if unchanged to avoid superfluous rebuilds.
2054
diff $TMPH config.h >/dev/null 2>&1
2055
if test "$?" != "0" ; then
2054
if ! cmp -s $TMPH config.h; then
2056 2055
        mv -f $TMPH config.h
2057 2056
else
2058 2057
        echo "config.h is unchanged"

Also available in: Unified diff