David Ayers <[EMAIL PROTECTED]> writes: > > AFAIK __WIN32__ is the only plattform that uses the path extension > on executables... But even if not, if -make removes it for Windoze, > then I take it (but didn't check) it would do it for any other > plattform that has path extensions on executables. So I'm wondering > whether we should unconditionally remove the path extension...
Not so sure, it should be compatible with the /make/ package. I do not really know how configure of /make/ determines if executables have an extension. Another solution is of course to change make to NOT remove the extension of a tool when installing the resources. >From a maintenance point of view this is safer, we do not keep the /make/ _______________________________________________ Bug-gnustep mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-gnustep
