configure: Re-run make if gtkabi/sdlabi is changed
commita3f4d63d63a2566928a1aec140989e16d969b684
authorCole Robinson <crobinso@redhat.com>
Thu, 24 Apr 2014 17:35:52 +0000 (24 13:35 -0400)
committerGerd Hoffmann <kraxel@redhat.com>
Tue, 29 Apr 2014 08:46:30 +0000 (29 10:46 +0200)
tree60821105036f73ae19e99a915f57e4e5be47ebaa
parentf92d61f336aa7dab9b47a831a9d1e0d44d3f5ce6
configure: Re-run make if gtkabi/sdlabi is changed

Reconfiguring with a different --with-gtkabi or --with-sdlabi doesn't
trigger a remake. Generate an (unused) CONFIG_GTKABI/CONFIG_SDLABI
so config-host.h will actually give 'make' something to trigger on.

Signed-off-by: Cole Robinson <crobinso@redhat.com>
Signed-off-by: Gerd Hoffmann <kraxel@redhat.com>
configure