|
From: | Kevin Rodgers |
Subject: | Re: makefile mode: everything after the # is comment color |
Date: | Wed, 26 Nov 2003 09:14:22 -0700 |
User-agent: | Mozilla/5.0 (X11; U; SunOS i86pc; en-US; rv:0.9.4.1) Gecko/20020406 Netscape6/6.2.2 |
Dan Jacobson wrote:
in makefile mode everything after the # is comment color: ran: set -- ../tmp/mp3/am?/*.mp3; V=$$(($$RANDOM%$$#)); shift $$V;\K> What does `M-: (getenv "SHELL")' return? Of course, the "GNU Bourne-Again SHell", bash. How could I use another leading brand? I mean GNU makefile mode should work with the GNU shell...
It turns out that make uses the value of the SHELL macro, which defaults to "/bin/sh" (not the SHELL environment variable -- oops). My point was that the fontification of commands in a Makefile depends on their syntax, which is determined by SHELL. And that is not necessarily the same for all Makefiles. Perhaps Makefile mode should be parameterized for different shells, like Shell Script mode is. -- Kevin Rodgers
[Prev in Thread] | Current Thread | [Next in Thread] |