#!/bin/sh

par="--without-arts"

echo "*** Doing configure $* $par ..."

./configure $* $par