From: sandmann AT clio DOT rice DOT edu (Charles Sandmann) Message-Id: <9608010448.AA11601@clio.rice.edu> Subject: Re: should stubify strip? To: djgpp-workers AT delorie DOT com (DJGPP developers) Date: Wed, 31 Jul 1996 23:48:35 -0600 (CDT) In-Reply-To: from "Eli Zaretskii" at Aug 1, 96 07:40:23 am Content-Type: text > Given the controversy that this option created even within this small > group, I'd suggest to post a question to comp.os.msdos.djgpp and gather > some user replies before we decide to make this change. That's assuming > we want it (of which I'm not certain). Don't bother. I suggest we leave the default as is; then someone who wants it bad enough adds the strip option to stubify, and then when that happens we document how to modify specs as a user option. It's a noop until someone sends DJ the patches to stubify.