Merge remote-tracking branch 'remotes/armbru/tags/pull-misc-2018-12-20' into staging
commit95de6f4b92efea391a3cbb8651d774a4d3529861
authorPeter Maydell <peter.maydell@linaro.org>
Thu, 20 Dec 2018 18:54:46 +0000 (20 18:54 +0000)
committerPeter Maydell <peter.maydell@linaro.org>
Thu, 20 Dec 2018 18:54:47 +0000 (20 18:54 +0000)
tree40059bdee0bf04c12e694b6bee4fb2d75f3bda8e
parentb72566a4ffaddbc0c0c1f6f5ee91b42ab13ff429
parent3a6b016d6487f3492bc1b80b2c3bc25c67aab8e2
Merge remote-tracking branch 'remotes/armbru/tags/pull-misc-2018-12-20' into staging

Miscellaneous patches for 2018-12-20

# gpg: Signature made Thu 20 Dec 2018 09:36:27 GMT
# gpg:                using RSA key 3870B400EB918653
# gpg: Good signature from "Markus Armbruster <armbru@redhat.com>"
# gpg:                 aka "Markus Armbruster <armbru@pond.sub.org>"
# Primary key fingerprint: 354B C8B3 D7EB 2A6B 6867  4E5F 3870 B400 EB91 8653

* remotes/armbru/tags/pull-misc-2018-12-20:
  build: Remake config-host.mak when VERSION changes
  Clean up includes

Signed-off-by: Peter Maydell <peter.maydell@linaro.org>