Commit 62f16de2 authored by Orgad Shaneh's avatar Orgad Shaneh
Browse files

domd: Do not needlessly overwrite Makefiles

parent 22cc44d6
Loading
Loading
Loading
Loading
+5 −1
Original line number Diff line number Diff line
@@ -32,7 +32,11 @@ else
    ${PERL} $TOP/util/clean-depend.pl < Makefile > Makefile.new
    RC=$?
fi
if ! cmp -s Makefile Makefile.new; then
    mv Makefile.new Makefile
else
    rm -f Makefile.new
fi
# unfake the presence of Kerberos
rm $TOP/krb5.h