[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Makefile.maint (Was: TODO)

From: Tim Van Holder
Subject: Re: Makefile.maint (Was: TODO)
Date: Thu, 7 Jun 2001 18:45:08 +0200

> Index: .prev-version
Minor nit, but could this be a more dos-friendly name (no leading dot

> +# Systems where /bin/sh is not the default shell need this.  The $(shell)
> +# command below won't work with e.g. stock DOS/Windows shells.
> +SHELL = /bin/sh

This sounds a bit like the $(shell) command doesn't work on DOS/Windows
due to/regardless of the setting of SHELL.  On DJGPP, at least, this
is not true - setting SHELL like this ensure unixy commands work just
fine in a makefile (only when SHELL isn't set in a makefile does make
default to the broken DOS command interpreter).
So perhaps

   # Systems where /bin/sh is not the default shell need this.  This is
   # especially needed on DOS/Windows, where the $(shell) command below
   # wouldn't work with the stock shell.

would be more appropriate.  I don't know if this would apply to Cygwin as
well, but I would think it odd if having SHELL=/bin/sh broke its make.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]