diff options
author | worldofpeace <worldofpeace@protonmail.ch> | 2020-04-12 07:03:27 -0400 |
---|---|---|
committer | worldofpeace <worldofpeace@protonmail.ch> | 2020-04-12 07:04:35 -0400 |
commit | 5384d7288522cd44ba5e766a29576426a219b400 (patch) | |
tree | d51c1338e7622297dfaeb3f75e4808f43b35e353 /doc | |
parent | 11e0f5993b1caa28b9e1b8c3508c63e611214b43 (diff) |
setup.sh: add dontPatch
Fixes #85038
Diffstat (limited to 'doc')
-rw-r--r-- | doc/stdenv/stdenv.xml | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/doc/stdenv/stdenv.xml b/doc/stdenv/stdenv.xml index 1e97bf6157bb..78e71b032d7d 100644 --- a/doc/stdenv/stdenv.xml +++ b/doc/stdenv/stdenv.xml @@ -729,6 +729,16 @@ passthru.updateScript = [ ../../update.sh pname "--requested-release=unstable" ] <title>Variables controlling the patch phase</title> <varlistentry> <term> + <varname>dontPatch</varname> + </term> + <listitem> + <para> + Set to true to skip the patch phase. + </para> + </listitem> + </varlistentry> + <varlistentry> + <term> <varname>patches</varname> </term> <listitem> |