diff options
author | Paolo Bonzini <pbonzini@redhat.com> | 2019-03-13 11:51:14 +0100 |
---|---|---|
committer | Paolo Bonzini <pbonzini@redhat.com> | 2019-03-20 11:44:13 +0100 |
commit | b7c11e574977a0addfbbdb89377c6f52affe64ec (patch) | |
tree | 9449d78997fa47010508fc3ff11e3cc3be5ff861 /hw/ppc | |
parent | 67163caebaff04d82f7080da902663780e29e74c (diff) |
config-all-devices.mak: rebuild on reconfigure
This ensures that softmmu directories are culled after a
"./configure --target-list=x86_64-linux-user".
Reviewed-by: Stefano Garzarella <sgarzare@redhat.com>
Reviewed-by: Eric Blake <eblake@redhat.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to 'hw/ppc')
0 files changed, 0 insertions, 0 deletions