----- Original Message ----- From: "Graham Percival" <gra...@percival-music.ca>
To: "Phil Holmes" <em...@philholmes.net>
Cc: "Devel" <lilypond-devel@gnu.org>
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

Attachment: CheckAndRun.sh
Description: Binary data

_______________________________________________
lilypond-devel mailing list
lilypond-devel@gnu.org
https://lists.gnu.org/mailman/listinfo/lilypond-devel

Reply via email to