#!/bin/sh make configure $*