Date: Mon, 16 Sep 1996 18:37:51 +0200 (IST)
From: Eli Zaretskii <eliz AT is DOT elta DOT co DOT il>
To: djgpp-workers AT delorie DOT com
Subject: `system' and unixy shells
Message-Id: <Pine.SUN.3.91.960916183306.458I-100000@is>
Mime-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII

Is it OK for `system' to call the shell to do everything if $SHELL points
to a unixy shell?  Right now, the default behavior is not to do that, and
an application is required to set a bit in `__system_flags' if it wants
the shell to be called.  However, this requires DJGPP-specific code in
ports of Unix programs.  Making this the default will eliminate the need 
for this code.

Opinions?