Sebastian Bauer bc621bed9c Disable the LOG_COMMAND. ...

Piping will have the consequence that the exit status of the first command
will not be considered. As this is the compiling command in our case, make
will not exit with an error code even if the compiling failed.

While there are shell-specific solutions, disabling LOG_COMMAND seems to
be the most general solution.

2018-03-29 20:57:32 +02:00

8.0 KiB

Raw Blame History

View Raw