Even with the newest tools I've found win32 make sometimes fails for no reason. If there was no other error just try running make again and see if it finishes.