diff --git a/configure b/configure index 4729c7fa35a1969d8761604d70519b0e9078502d..86821360387cc525d353d6065ec15533db9cd757 100755 --- a/configure +++ b/configure @@ -1747,7 +1747,14 @@ if test `expr "$target_list" : ".*softmmu.*"` != 0 ; then fi echo "TOOLS=$tools" >> $config_mak -test -f ${config_h}~ && cmp -s $config_h ${config_h}~ && mv ${config_h}~ $config_h +if test -f ${config_h}~ ; then + if cmp -s $config_h ${config_h}~ ; then + mv ${config_h}~ $config_h + else + rm ${config_h}~ + fi +fi + config_host_mak=${config_mak} for target in $target_list; do