On 18. Oct 2006, at 11:32, guerom00 wrote:
htmlHeader "Compiling current programs using Make"
You may want to move to the new html_header which is obtained by:
. "$TM_SUPPORT_PATH/lib/webpreview.sh"
[...] make|pre [...] The problem is that, even when the compilation fails, the $status is equal to 0…
The problem is that when you do ‘foo|bar’ then the result of the entire command is that of the last command in the chain.
Not really sure what a clean workaround would be, but you can do:
make &> >(pre)
This runs ‘pre’ as a new process with its input set to the output of make (both stdout and stderr), but since this is not a normal pipe (but process substitution) the result of the entire expression is that of make.