#!/bin/sh

set -Ceu

dir="${0%/*}"
dir="${dir:-.}"

exec "${dir}/gnu/configure" ${1+"$@"}
