changeset 6236:2b6de6021f5e

arts added to 'Disabled optional drivers'
author jaf
date Thu, 30 May 2002 11:42:55 +0000
parents 3fbaae881e40
children 2eec40929570
files configure
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
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"