#!/bin/sh

. env.sh
shift
./configure "${@}"
