tree c18e517b2b1c3cad3a758083981f0135fc594cff
parent 09fe5669365aa20af55e6a3b85e90db724305e35
author Willy Tarreau <w@1wt.eu> 1553680669 +0100
committer Willy Tarreau <w@1wt.eu> 1553693575 +0100
encoding latin1

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=".