#!/bin/sh set -e cd config exec ./configure "$@"