diff options
| author | Markus Armbruster <armbru@redhat.com> | 2018-12-14 09:47:54 +0100 |
|---|---|---|
| committer | Markus Armbruster <armbru@redhat.com> | 2018-12-20 10:31:08 +0100 |
| commit | 3a6b016d6487f3492bc1b80b2c3bc25c67aab8e2 (patch) | |
| tree | 40059bdee0bf04c12e694b6bee4fb2d75f3bda8e /Makefile | |
| parent | b7d89466dde6889d353e4f76d9cc3460067d8784 (diff) | |
build: Remake config-host.mak when VERSION changes
configure gets the version number from VERSION, and writes it to
config-host.mak. The make dependency for that is missing. Because of
that, a rebuild after a VERSION change may not pick up the change.
Fix that.
Signed-off-by: Markus Armbruster <armbru@redhat.com>
Message-Id: <20181214084754.23854-1-armbru@redhat.com>
Reviewed-by: Eric Blake <eblake@redhat.com>
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -67,7 +67,7 @@ CONFIG_ALL=y -include config-all-devices.mak -include config-all-disas.mak -config-host.mak: $(SRC_PATH)/configure $(SRC_PATH)/pc-bios +config-host.mak: $(SRC_PATH)/configure $(SRC_PATH)/pc-bios $(SRC_PATH)/VERSION @echo $@ is out-of-date, running configure @# TODO: The next lines include code which supports a smooth @# transition from old configurations without config.status. |