#!/bin/bash
set -e

# The first argument is the path to the configure binary
CONFIGURE_BINARY="$1"
shift

# Run the configuration
exec "${CONFIGURE_BINARY}" "$@"