Re: [Bug-gnulib] AC_PROG_YACC

[Mark D. Baushke]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Hi Paul,

Paul Eggert <address@hidden> writes:

> "Mark D. Baushke" <address@hidden> writes:
> 
> I was using the current spec, which is here:
> 
> http://www.opengroup.org/onlinepubs/009695399/utilities/make.html

Many thanks for the pointer.

> The "sh -e" business is clearly incompatible with the POSIX. POSIX
> says (1) each makefile command line is passed separately to system(),
> and (2) system() does not use -e. These are old requirements: they're
> also present in the older spec that you referred to.

I see (1). I do not see (2) in the document... 
Can you give a larger excerpt quote or another pointer?

> > Of course, my understanding is that the special target
> > .POSIX: is mandated by 1003.2, but I am not 100% certain
> > that is true.
> 
> Yes, that's still required -- I didn't know that.  Automake doesn't do
> that.  However, it doesn't seem like it would have fixed this problem
> so it's probably not worth messing with unless we find a problem that
> it actually fixes.

I suppose it may be useful

http://www.opengroup.org/onlinepubs/009695399/utilities/make.html
<<<
...
| Makefile Execution
| 
| Makefile command lines shall be processed one at a time by writing the
| makefile command line to the standard output (unless one of the
| conditions listed under '@' suppresses the writing) and executing the
| command(s) in the line. A <tab> may precede the command to standard
| output. Command execution shall be as if the makefile command line were
| the argument to the system() function. The environment for the command
| being executed shall contain all of the variables in the environment of
| make.
| 
| By default, when make receives a non-zero status from the execution of a
| command, it shall terminate with an error message to standard error.
| 
| Makefile command lines can have one or more of the following prefixes: a
| hyphen ( '-' ), an at sign ( '@' ), or a plus sign ( '+' ). These shall
| modify the way in which make processes the command. When a command is
| written to standard output, the prefix shall not be included in the
| output.
| 
| -   If the command prefix contains a hyphen, or the -i option is
|     present, or the special target .IGNORE has either the current target
|     as a prerequisite or has no prerequisites, any error found while
|     executing the command shall be ignored.
| 
| @   If the command prefix contains an at sign and the make utility
|     command line -n option is not specified, or the -s option is
|     present, or the special target .SILENT has either the current target
|     as a prerequisite or has no prerequisites, the command shall not be
|     written to standard output before it is executed.
| 
| +   If the command prefix contains a plus sign, this indicates a
|     makefile command line that shall be executed even if -n, -q, or -t
|     is specified.
| 
...
>>>
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.3 (FreeBSD)

iD8DBQFAmTTI3x41pRYZE/gRArGkAJ4oDJQsAFrF+QvAVqkrjgnf2e4V9QCfT54d
m+Kco7RC8QZ0b0kIfVzI858=
=byMS
-----END PGP SIGNATURE-----