@echo off
set CC=gcc
make.exe -f Makefile.w32 %1 %2 %3 %4 %5 %6 %7 %8 %9