Hi David,

On 2008.02.11., at 2:07, David Arturo Macias Corona wrote:

>This is true for make_*os2.cmd, bld.cmd, etc. If these
>were updated by the OS/2 users here (David?), I think
>they're okey, once we've agreed on the filenames.

If they need changes, I can do it

>I'd suggest /make_gnu_os2.cmd which is uglier, but
>clearer IMO, since it also suggest we're talking about
>the GNU make system, not something fully separate OS/2
>stuff. Long filenames, we already have.

>For the other batch file: /bin/bld_os2.cmd

Older make_gnu.cmd, bld.cmd filenames are enough

One of the reasons I removed these is to avoid
any confusion for Windows users, to decide which
batch file to run. I think it's very important to
have clear filenames and the least redundancy.

'.cmd' for a Windows user means a native batch
file, so this extension by itself, is _ambiguous_.
That's why we should include "os2" to clear that up.

Brgds,
Viktor

_______________________________________________
Harbour mailing list
[email protected]
http://lists.harbour-project.org/mailman/listinfo/harbour

Reply via email to