Makefile: Remove config-devices.mak on "make clean"
commitd69cda7ed722e445d03e1ace6563bab3a76e023e
authorPeter Maydell <peter.maydell@linaro.org>
Fri, 17 Jul 2020 15:25:08 +0000 (17 16:25 +0100)
committerPeter Maydell <peter.maydell@linaro.org>
Mon, 20 Jul 2020 10:02:46 +0000 (20 11:02 +0100)
tree597cd5464c4597f7a0784e989d0e7bbc5d0da2fb
parent9fc87111005e8903785db40819af66b8f85b8b96
Makefile: Remove config-devices.mak on "make clean"

The config-devices.mak files are generated by "make", and so they
should be deleted by "make clean".

(This is different from config-host.mak and config-all-disas.mak,
which are created by "configure" and so only deleted by
"make distclean".)

If we don't delete these files on "make clean", then the build
tree is left in a state where it has the config-devices.mak
file but not the config-devices.mak.d file, and make will not
realize that it needs to rebuild config-devices.mak if, for
instance, hw/sd/Kconfig changes.

NB: config-all-devices.mak is also generated by "make", but we
already remove it on "make clean".

Suggested-by: Paolo Bonzini <pbonzini@redhat.com>
Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Reviewed-by: Philippe Mathieu-Daudé <philmd@redhat.com>
Message-id: 20200717152508.10272-1-peter.maydell@linaro.org
Makefile