# HG changeset patch
# User jaf
# Date 1022758975 0
# Node ID 2b6de6021f5e3161c848aad0ebd65e0d83d3c8e0
# Parent  3fbaae881e4002dc47cd0a2d51c0bad84eb37ca8
arts added to 'Disabled optional drivers'

diff -r 3fbaae881e40 -r 2b6de6021f5e configure
--- a/configure	Thu May 30 11:20:58 2002 +0000
+++ b/configure	Thu May 30 11:42:55 2002 +0000
@@ -2696,6 +2696,8 @@
   _aomodules="arts $_aomodules"
   _ld_arts=`artsc-config --libs`
   _inc_arts=`artsc-config --cflags`
+else
+  _noaomodules="arts $_noaomodules"
 fi
 echores "$_arts"