diff options
| author | Phil Pennock <pdpennock@users.sourceforge.net> | 2013-12-17 12:43:17 -0500 |
|---|---|---|
| committer | Phil Pennock <pdpennock@users.sourceforge.net> | 2013-12-17 13:51:19 -0500 |
| commit | 626c580148a58d92515c04df607eaa06d86f15f9 (patch) | |
| tree | 6672d00635442c9ed84a0301aa40c471457f9199 /INSTALL | |
| parent | b9da4efea7b33490333b778daf37d60d535416be (diff) | |
| download | zsh-626c580148a58d92515c04df607eaa06d86f15f9.tar.gz zsh-626c580148a58d92515c04df607eaa06d86f15f9.tar.xz zsh-626c580148a58d92515c04df607eaa06d86f15f9.zip | |
32143: Fix --enable-custom-patchlevel name in INSTALL
Diffstat (limited to 'INSTALL')
| -rw-r--r-- | INSTALL | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/INSTALL b/INSTALL index 00791cd86..99895bd6c 100644 --- a/INSTALL +++ b/INSTALL @@ -297,7 +297,7 @@ Modified versions of zsh If you are making local modifications to zsh, you are strongly advised to configure with the option - --enable-local-patchlevel="<my-mod-string>" + --enable-custom-patchlevel="<my-mod-string>" so that the variable $ZSH_PATCHLEVEL indicates this is not a standard version of the shell. The argument is arbitrary, but should indicate |