diff --git a/configure b/configure index 437d393579..67e7f37296 100755 --- a/configure +++ b/configure @@ -2696,6 +2696,8 @@ if test "$_arts" = yes ; then _aomodules="arts $_aomodules" _ld_arts=`artsc-config --libs` _inc_arts=`artsc-config --cflags` +else + _noaomodules="arts $_noaomodules" fi echores "$_arts"