#!/bin/sh
./configure --cache-file=config.cache $*
