#!/bin/sh exec make WIN32=1 $@