From mboxrd@z Thu Jan  1 00:00:00 1970
From: kenner@vlsi1.ultra.nyu.edu (Richard Kenner)
To: aoliva@redhat.com
Cc: gcc@gcc.gnu.org
Subject: Re: Top-level Makefile
Date: Thu, 29 Nov 2001 06:50:00 -0000
Message-ID: <10111291444.AA22195@vlsi1.ultra.nyu.edu>
X-SW-Source: 2001-11/msg01549.html
Message-ID: <20011129065000.cdMZiITWWtn9SDpP_5Wvrm4z9heuH-gnI2BvXwf7Gw4@z>

    make all does build with optimization, since it's assumed that this
    one is going to be installed.  make bootstrap builds stage1 without
    optimization.

OK, that makes sense.

    Try some more efficient shell, such as bash or at least ksh.

Well, the shell script has #!/bin/sh" in the first line, so that's the
one that's going to be used.  It needs to work reasonably with that one.