diff options
Diffstat (limited to 'util/domd')
-rwxr-xr-x | util/domd | 7 |
1 files changed, 5 insertions, 2 deletions
@@ -11,7 +11,9 @@ if [ "$1" = "-MD" ]; then fi if [ "$MAKEDEPEND" = "" ]; then MAKEDEPEND=makedepend; fi -cp Makefile Makefile.save +# Preserve Makefile timestamp by moving instead of copying (cp -p is GNU only) +mv Makefile Makefile.save +cp Makefile.save Makefile # fake the presence of Kerberos touch $TOP/krb5.h if ${MAKEDEPEND} --version 2>&1 | grep "clang" > /dev/null || @@ -32,9 +34,10 @@ else ${PERL} $TOP/util/clean-depend.pl < Makefile > Makefile.new RC=$? fi -if ! cmp -s Makefile Makefile.new; then +if ! cmp -s Makefile.save Makefile.new; then mv Makefile.new Makefile else + mv Makefile.save Makefile rm -f Makefile.new fi # unfake the presence of Kerberos |