[patch] Do not call bash but sh in the "boot" script
kili at outback.escape.de
Wed Apr 14 16:40:51 EDT 2010
On Wed, Apr 14, 2010 at 09:10:00PM +0100, Ian Lynagh wrote:
> > Perhaps just use make like Matthias suggested?
> That feels very klunky to me; a shell script /and/ a Makefile for this
> simple task.
Not a *Makefile*, just some make -f - <<'EOM' ... EOM goo. I actually
had something that *almost* worked this afternoon, but unfortunately
it had a little bug and removed itself during a test ;-)
More information about the Cvs-ghc