#!/bin/sh
#
# This script is a workaround to GNU autoconf which can't deal with having
# all of its config scripts in a different directory than the configure
# script itself.

( cd scripts ; ./configure $* )
