diff options
author | Arnout Vandecappelle (Essensium/Mind) <arnout@mind.be> | 2019-03-12 18:55:35 +0100 |
---|---|---|
committer | Thomas Petazzoni <thomas.petazzoni@bootlin.com> | 2019-03-12 21:59:00 +0100 |
commit | 71d0cddeacc1c626780c9e47345a322b39eaf0c7 (patch) | |
tree | dd6f045ba6661a8352bd0f0208cf96676e0d4cf5 /docs | |
parent | fd5bd12379dcacc9ca359a40624148e8c3fea3c3 (diff) |
docs/manual: document new behaviour of 'make printvars'
Add a 'VARS=...' setting to the example. To make it clear that several
variables can be specified, use two variables in the first example.
Only 2 variables are printed, so the ... is removed.
Signed-off-by: Arnout Vandecappelle (Essensium/Mind) <arnout@mind.be>
Cc: Yann E. MORIN <yann.morin.1998@free.fr>
Acked-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com>
Diffstat (limited to 'docs')
-rw-r--r-- | docs/manual/make-tips.txt | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/docs/manual/make-tips.txt b/docs/manual/make-tips.txt index ea1d825bef..869b6807dd 100644 --- a/docs/manual/make-tips.txt +++ b/docs/manual/make-tips.txt @@ -80,18 +80,18 @@ to xref:ccache[]. .Dumping the internal make variables: -One can dump all the variables known to make, along with their values: +One can dump the variables known to make, along with their values: ---- - $ make -s printvars - VARIABLE=value_of_variable - ... + $ make -s printvars VARS='VARIABLE1 VARIABLE2' + VARIABLE1=value_of_variable + VARIABLE2=value_of_variable ---- It is possible to tweak the output using some variables: - +VARS+ will limit the listing to variables which names match the - specified make-pattern + specified make-patterns - this must be set else nothing is printed - +QUOTED_VARS+, if set to +YES+, will single-quote the value - +RAW_VARS+, if set to +YES+, will print the unexpanded value |