Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Path: utzoo!utgpu!water!watnot!watmath!clyde!rutgers!brl-adm!brl-smoke!gwyn From: gwyn@brl-smoke.UUCP Newsgroups: comp.unix.wizards Subject: Re: "make" SHELL variable Message-ID: <5624@brl-smoke.ARPA> Date: Fri, 13-Feb-87 16:52:14 EST Article-I.D.: brl-smok.5624 Posted: Fri Feb 13 16:52:14 1987 Date-Received: Sun, 15-Feb-87 23:19:36 EST References: <3953@brl-adm.ARPA> <2590002@hpisod2.HP> Reply-To: gwyn@brl.arpa (Doug Gwyn (VLD/VMB) ) Organization: Ballistic Research Lab (BRL), APG, MD. Lines: 9 In article <3088@gitpyr.gatech.EDU> robert@gitpyr.UUCP (Robert Viduya) writes: >I disagree completely. Adding "SHELL=/bin/sh" is an extremely trivial I wasn't arguing against "make" allowing definition of the shell to use in the Makefile, which is after all written with a particular shell in mind (so the Makefile is an appropriate place to specify it), but rather against it paying any attention to the environment variable SHELL, which users often set to things like /bin/csh which have nothing to do with the Makefile's contents.