| commit | 05fd82da76d1bbc8d65d63ab246bda7cbcf8481a | [log] [tgz] |
|---|---|---|
| author | Willy Tarreau <w@1wt.eu> | Wed Mar 27 10:57:49 2019 +0100 |
| committer | Willy Tarreau <w@1wt.eu> | Wed Mar 27 14:32:55 2019 +0100 |
| tree | c18e517b2b1c3cad3a758083981f0135fc594cff | |
| parent | 09fe5669365aa20af55e6a3b85e90db724305e35 [diff] |
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=".