On 12/19/2018 9:51 PM, Peter Ross wrote:
> this option is described by --help, but the definition was missing in
> CMDLINE_SET.
> ---
>
> configure | 1 +
> 1 file changed, 1 insertion(+)
>
> diff --git a/configure b/configure
> index 417fc470eb..6cbd642943 100755
> --- a/configure
> +++ b/conf
this option is described by --help, but the definition was missing in
CMDLINE_SET.
---
configure | 1 +
1 file changed, 1 insertion(+)
diff --git a/configure b/configure
index 417fc470eb..6cbd642943 100755
--- a/configure
+++ b/configure
@@ -2437,6 +2437,7 @@ CMDLINE_SET="
tempprefix
