# Run autogen.sh in these directories
for dir in $CONFIGURE_DIRS; do
if [ -d $dir ] ; then
pushd $dir >/dev/null
echo "Running autogen for $dir..."
# Run autogen.sh in these directories
for dir in $CONFIGURE_DIRS; do
if [ -d $dir ] ; then
pushd $dir >/dev/null
echo "Running autogen for $dir..."