diff options
author | Paul Brook <paul@codesourcery.com> | 2009-05-26 15:07:56 +0100 |
---|---|---|
committer | Paul Brook <paul@codesourcery.com> | 2009-05-26 15:07:56 +0100 |
commit | 370ab9863dd058c36781715f7a910685900acd5f (patch) | |
tree | 924dd21c3ba54034482ce5c948375cc9fbe05534 /configure | |
parent | 067a3ddc8876cee8451d6f690a051e413a593fdc (diff) |
Remove temporary config-host.h
Signed-off-by: Paul Brook <paul@codesourcery.com>
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 9 |
1 files changed, 8 insertions, 1 deletions
@@ -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 |