diff configure @ 6236:2b6de6021f5e

arts added to 'Disabled optional drivers'
author jaf
date Thu, 30 May 2002 11:42:55 +0000
parents dba2fa0fe5c0
children aed96273ea29
line wrap: on
line diff
--- 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"