diff options
Diffstat (limited to 'doc/stdenv.xml')
| -rw-r--r-- | doc/stdenv.xml | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/doc/stdenv.xml b/doc/stdenv.xml index fa3a7ef056e6..d3042710f188 100644 --- a/doc/stdenv.xml +++ b/doc/stdenv.xml @@ -546,6 +546,15 @@ script) if it exists.</para> such.</para></footnote>. If this is undesirable, set this variable to a non-empty value.</para></listitem> </varlistentry> + + <varlistentry> + <term><varname>dontDisableStatic</varname></term> + <listitem><para>By default, when the configure script has + <option>--enable-static</option>, the option + <option>--disable-static</option> is added to the configure flags.</para> + <para></para>If this is undesirable, set this variable to a non-empty + value.</para></listitem> + </varlistentry> <varlistentry> <term><varname>preConfigure</varname></term> |