From mboxrd@z Thu Jan  1 00:00:00 1970
From: kenner@vlsi1.ultra.nyu.edu (Richard Kenner)
To: dje@watson.ibm.com
Cc: gcc@gcc.gnu.org
Subject: Re: Top-level Makefile
Date: Fri, 30 Nov 2001 17:44:00 -0000
Message-ID: <10112010139.AA28635@vlsi1.ultra.nyu.edu>
X-SW-Source: 2001-11/msg01669.html
Message-ID: <20011130174400.uKMG5jwcAdxYlk4x0yNFRFBl7sSt2LE8IQgzuWpFMeA@z>

	Note that I use

    $ make SHELL=/usr/local/bin/bash CONFIG_SHELL=/usr/local/bin/bash ... bootstrap

    Setting the appropriate environment variables should be equivalent with
    GNU Make, but I am not sure.

You lost me.  I was doing configure, not make.