Nope. Hardly anyone (if anyone except me) is using it anyway, and as far as
I'm concerned, it's on its way to a separate repo anyway (so that I can
clone it into an experimental directory without pulling in the whole moses
saussage. aux.m4m has no external user exposure, so it should be safe to
rename.

- Uli

On Tue, Jun 2, 2015 at 1:51 PM, Jeroen Vermeulen <
[email protected]> wrote:

> Would anyone mind if I renamed aux.m4m to auxiliary.m4m, and make the
> corresponding adjustments in the other makefiles?  I wouldn't mind
> "util.m4m" except that might look as if it were related to the util
> directory.
>
> The reason is Windows, where any filename "aux" or "aux.*" has a special
> meaning, a bit like a device file on Unix.  When I check out Moses on
> Windows, I simply can't see the file.  I've also heard of Git choking on
> it when trying to work with the Moses repo on Windows.
>
>
> Jeroen
> _______________________________________________
> Moses-support mailing list
> [email protected]
> http://mailman.mit.edu/mailman/listinfo/moses-support
>
>


-- 
Ulrich Germann
Senior Researcher
School of Informatics
University of Edinburgh
_______________________________________________
Moses-support mailing list
[email protected]
http://mailman.mit.edu/mailman/listinfo/moses-support

Reply via email to