#! /bin/sh
./configure @CONFIG_ARGS@