diff options
Diffstat (limited to 'util/domd')
| -rwxr-xr-x | util/domd | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/util/domd b/util/domd index bc2a85f7dd50..5a92559c9b7a 100755 --- a/util/domd +++ b/util/domd @@ -34,11 +34,11 @@ else ${PERL} $TOP/util/clean-depend.pl < Makefile > Makefile.new RC=$? fi -if ! cmp -s Makefile.save Makefile.new; then - mv Makefile.new Makefile -else +if cmp -s Makefile.save Makefile.new; then mv Makefile.save Makefile rm -f Makefile.new +else + mv Makefile.new Makefile fi # unfake the presence of Kerberos rm $TOP/krb5.h |