[pypy-issue] [issue984] 'make' can be 'mingw32-make' on MinGW platform
tracker at bugs.pypy.org
Sat Jan 7 11:32:57 CET 2012
New submission from Chris Morgan <me at chrismorgan.info>:
On Windows when building with MinGW, the make command will sometimes be named
`mingw32-make.exe` instead of `make.exe`. This patch makes a check on the PATH
for mingw32-make first, and overrides make_cmd if it is there.
If this is considered a performance problem, the check could be delayed by
putting it in MingwPlatform.__init__.
nosy: Chris Morgan, pypy-issue
title: 'make' can be 'mingw32-make' on MinGW platform
PyPy bug tracker <tracker at bugs.pypy.org>
More information about the pypy-issue