diff options
author | 2023-02-26 18:46:29 +0100 | |
---|---|---|
committer | 2023-02-27 12:02:43 +0100 | |
commit | 0e311ca4ac75be6ebea2a0b3c1b46f4daac75190 (patch) | |
tree | 03bb009f422dbd7bd8a8e1d6f0a6b7cfdd2c33e6 | |
parent | Reference sections by "section 11.2" rather than "11.2" (diff) | |
download | pms-0e311ca4ac75be6ebea2a0b3c1b46f4daac75190.tar.gz pms-0e311ca4ac75be6ebea2a0b3c1b46f4daac75190.tar.bz2 pms-0e311ca4ac75be6ebea2a0b3c1b46f4daac75190.zip |
pkg-mgr-commands.tex: econf matches configure --help output better
Following the previous change for --disable-static (commit e0aa80c),
check for proper end of string for all option names beginning with
"with", "disable" or "enable". This will mainly affect --with-sysroot,
where false positives have been observed.
Bug: https://bugs.gentoo.org/815169
Suggested-by: David Seifert <soap@gentoo.org>
Signed-off-by: Ulrich Müller <ulm@gentoo.org>
-rw-r--r-- | pkg-mgr-commands.tex | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/pkg-mgr-commands.tex b/pkg-mgr-commands.tex index 95caa0b..4fac077 100644 --- a/pkg-mgr-commands.tex +++ b/pkg-mgr-commands.tex @@ -343,10 +343,13 @@ commands once the current phase function has returned. occurs in the output of \t{configure -{}-help}. \item \t{-{}-disable-static}, if the EAPI is listed in table~\ref{tab:econf-options-table} as using it. This option will only be passed if both strings \t{-{}-enable-static} and - \t{-{}-enable-shared} occur in the output of \t{configure -{}-help}, and if neither of them - is immediately followed by any of the characters \t{[A-Za-z0-9+_.-]}. + \t{-{}-enable-shared} occur in the output of \t{configure -{}-help}. \end{itemize} + For the option names beginning with \t{with-}, \t{disable-} or \t{enable-}, a string in + \t{configure -{}-help} output matches only if it is not immediately followed by any of the + characters \t{[A-Za-z0-9+_.-]}. + \ChangeWhenAddingAnEAPI{8} \begin{centertable}{Extra \t{econf} arguments for EAPIs} \label{tab:econf-options-table} |