diff options
-rw-r--r-- | doc/stdenv.xml | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/doc/stdenv.xml b/doc/stdenv.xml index 67f2491461449..c62f8ad362fa0 100644 --- a/doc/stdenv.xml +++ b/doc/stdenv.xml @@ -1138,6 +1138,20 @@ following: <listitem><para>If set, libraries and executables are not stripped. By default, they are.</para></listitem> </varlistentry> + <varlistentry> + <term><varname>dontStripHost</varname></term> + <listitem><para> + Like <varname>dontStripHost</varname>, but only affects the <command>strip</command> command targetting the package's host platform. + Useful when supporting cross compilation, but otherwise feel free to ignore. + </para></listitem> + </varlistentry> + <varlistentry> + <term><varname>dontStripTarget</varname></term> + <listitem><para> + Like <varname>dontStripHost</varname>, but only affects the <command>strip</command> command targetting the packages' target platform. + Useful when supporting cross compilation, but otherwise feel free to ignore. + </para></listitem> + </varlistentry> <varlistentry> <term><varname>dontMoveSbin</varname></term> |