Re: Further work on reducing make doc output - GOP 9

[Phil Holmes]

----- Original Message ----- 
From: "Graham Percival" <address@hidden>
To: "Phil Holmes" <address@hidden>
Cc: "Devel" <address@hidden>
Sent: Monday, January 16, 2012 3:17 PM
Subject: Re: Further work on reducing make doc output - GOP 9


> On Sun, Jan 15, 2012 at 02:47:23PM -0000, Phil Holmes wrote:
> > OK - so I don't think anyone has looked at this.
>
> Quick check:
> - what does 6>&1 do?  is that a named pipe?
> - in general all the symbols looks a bit iffy... if we hadn't just
>  had a huge issue with python subprocess on windows, I'd suggest
>  writing a python script to do this -- it might be 20 lines
>  instead of 13, but IMO "stderr" is more understandable than
>  "1>&6".  However, I think we've exhausted our love of python,
>  so go ahead.
>  oh -- maybe some comments?  IIRC # is a comment in shell script.
>
> other than that, looks good.
>
> - Graham

Updated version.  This one actually redirects the stderr, which the previous 
one didn't...

--
Phil Holmes

CheckAndRun.sh
Description: Binary data