diff --git a/tools/Config.mk b/tools/Config.mk index a5091e6737..56f512f9ad 100644 --- a/tools/Config.mk +++ b/tools/Config.mk @@ -508,7 +508,7 @@ endef else define TESTANDREPLACEFILE if [ -f $2 ]; then \ - if cmp $1 $2; then \ + if cmp -s $1 $2; then \ rm -f $1; \ else \ mv $1 $2; \