[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Resource for Tools are not found on Windows
|
From: |
Wim Oudshoorn |
|
Subject: |
Re: Resource for Tools are not found on Windows |
|
Date: |
Wed, 25 Feb 2004 11:47:20 +0100 |
|
User-agent: |
Gnus/5.1002 (Gnus v5.10.2) Emacs/21.3.50 (darwin) |
David Ayers <d.ayers@inode.at> 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/