configure

#!/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.

( CFLAGS="-g" ; export CFLAGS ; cd scripts ; ./configure "$@" )
Initial commit at Mon May 18 09:27:46 EDT 2015 by tim on stravinsky 2015-05-18 09:27:46 -04:00			`#!/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.`

Corrected the arguments to the configure script from the top-level 2019-06-15 12:43:13 -04:00			`( CFLAGS="-g" ; export CFLAGS ; cd scripts ; ./configure "$@" )`