diff options
author | Daiderd Jordan <daiderd@gmail.com> | 2017-11-01 16:11:50 +0100 |
---|---|---|
committer | Domen Kožar <domen@enlambda.com> | 2017-11-01 17:50:15 +0100 |
commit | 1167fde2b295026c7ab5e497fa621979d36df097 (patch) | |
tree | af9522e99fd70978c1b204f6adac73be32fe67dd /doc/stdenv.xml | |
parent | daf78689d475d6e3355e4c47e9314208d877960d (diff) |
docs: add note about makeFlags quoting
Diffstat (limited to 'doc/stdenv.xml')
-rw-r--r-- | doc/stdenv.xml | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/doc/stdenv.xml b/doc/stdenv.xml index a097762130a53..ee110b7710495 100644 --- a/doc/stdenv.xml +++ b/doc/stdenv.xml @@ -698,8 +698,14 @@ nothing.</para> <listitem><para>A list of strings passed as additional flags to <command>make</command>. These flags are also used by the default install and check phase. For setting make flags specific to the - build phase, use <varname>buildFlags</varname> (see - below).</para></listitem> + build phase, use <varname>buildFlags</varname> (see below). + +<programlisting> +makeFlags = [ "PREFIX=$(out)" ]; +</programlisting> + + <note><para>The flags are quoted in bash, but environment variables can + be specified by using the make syntax.</para></note></para></listitem> </varlistentry> <varlistentry> |