[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: awk for config headers
From: |
Paul Eggert |
Subject: |
Re: awk for config headers |
Date: |
Mon, 08 Oct 2007 15:17:45 -0700 |
User-agent: |
Gnus/5.11 (Gnus v5.11) Emacs/22.1 (gnu/linux) |
Ralf Wildenhues <address@hidden> writes:
> Hmm, Solaris awk has `index', but Autoconf's manual says:
> | Traditional Awk supports only the predefined functions `exp',
> | `int', `length', `log', `split', `sprintf', `sqrt', and `substr'.
>
> Which is why I tried to avoid it. ;-)
Sorry, that's a bug in the manual; traditional Awk supported 'index'.
I fixed it as described below.
> If you can assert that `index' is safe to use, I'll apply the patch.
Please go ahead.
2007-10-08 Paul Eggert <address@hidden>
* doc/autoconf.texi (Limitations of Usual Tools): V7 awk had 'index'.
diff --git a/doc/autoconf.texi b/doc/autoconf.texi
index b41aee6..29161d0 100644
--- a/doc/autoconf.texi
+++ b/doc/autoconf.texi
@@ -13657,7 +13657,7 @@ or @address@hidden@var{b}}.
Traditional Awk does not support the predefined @code{CONVFMT} variable.
-Traditional Awk supports only the predefined functions @code{exp},
+Traditional Awk supports only the predefined functions @code{exp},
@code{index},
@code{int}, @code{length}, @code{log}, @code{split}, @code{sprintf},
@code{sqrt}, and @code{substr}.
- Re: awk for config headers, (continued)
- Re: awk for config headers, Ralf Wildenhues, 2007/10/02
- Re: awk for config headers, Paul Eggert, 2007/10/02
- Re: awk for config headers, Ralf Wildenhues, 2007/10/08
- Re: awk for config headers, Benoit SIGOURE, 2007/10/08
- Re: awk for config headers, Paul Eggert, 2007/10/08
- Re: awk for config headers, Benoit SIGOURE, 2007/10/08
- Re: awk for config headers, Paul Eggert, 2007/10/10
- Re: awk for config headers, Benoit SIGOURE, 2007/10/10
- Re: awk for config headers, Paul Eggert, 2007/10/10
- Re: awk for config headers, Benoit SIGOURE, 2007/10/10
- Re: awk for config headers,
Paul Eggert <=
- Re: awk for config headers, Ralf Wildenhues, 2007/10/10
- Re: awk for config headers, Ralf Wildenhues, 2007/10/10
Re: awk for config headers, Eric Blake, 2007/10/12
Re: awk for config headers, Eric Blake, 2007/10/10