message: only use mingw32 for build
diff: @@ -54,8 +54,6 @@ def mungeName(name):
  def doCommand(command):
  print("------------------------------------------------------------")
  - if isWin() and command.startswith("make "):
  - command = command.replace("make ", "mingw32-make ")
  print("%s" % command)
  p1 = subprocess.Popen(command,shell=True)
  p1.wait()
  @@ -72,9 +70,16 @@ def makeTest(name, j):
  def makeBuild(j):
  if (j == None):
  + if isWin():
  + command = 'mingw32-make build'
  + else:
  command = 'make build'
  + else:
  + if isWin():
  + command = 'mingw32-make -j%d build' % j
  else:
  command = 'make -j%d build' % j
  +
  doCommand(command)
  