BUILD: Makefile: also report disabled options in the BUILD_OPTIONS variable
authorWilly Tarreau <w@1wt.eu>
Wed, 27 Mar 2019 09:57:49 +0000 (10:57 +0100)
committerWilly Tarreau <w@1wt.eu>
Wed, 27 Mar 2019 13:32:55 +0000 (14:32 +0100)
commit05fd82da76d1bbc8d65d63ab246bda7cbcf8481a
treec18e517b2b1c3cad3a758083981f0135fc594cff
parent09fe5669365aa20af55e6a3b85e90db724305e35
BUILD: Makefile: also report disabled options in the BUILD_OPTIONS variable

Now we iterate over all known variables and report in the BUILD_OPTIONS
string all those which differ from the target's defaults. This means that
if a target sets a variable by default (e.g. USE_THREAD in linux2628) and
the user disables it on the command line, the BUILD_OPTIONS string will
now properly report "USE_THREAD=".
Makefile