cvs commit: src Makefile.inc1

[Alfred Perlstein]

* Garance A Drosihn <drosih at rpi.edu> [031208 17:18] wrote:
> At 5:01 PM -0800 12/8/03, Alfred Perlstein wrote:
> > > At 4:42 PM -0800 12/8/03, Garance A Drosehn wrote:
> > >
> >> IMO, the best fix for this will be to change 'make' so we have
> >> a way to specify an alternate shell (instead of the hard-coded
> >> value of /bin/sh) for the 'installworld-ish' targets.
> >
> >Isn't the traditional way of doing this just:
> >
> >SHELL=
> >
> >?
> 
> Dunno.  Can you set that on a per-target basis?  I think we
> only care about this for the 'installworld' target, and in
> that case we want to set it to the /bin/sh which was copied to
> a temp directory at the start of the processing for that target.
> Installword is done via a series of cascading targets, so maybe
> it will be fairly easy to solve this.
> 
> I certainly don't want the *user* to have to remember to
> set the shell before typing 'make installworld'...

afaik there's make syntax to conditionally do stuff based
on the current target.

-- 
- Alfred Perlstein
- Research Engineering Development Inc.
- email: bright at mu.org cell: 408-480-4684