comparison configure @ 6216:c887475712ae

small fix for arts
author pl
date Tue, 28 May 2002 09:48:45 +0000
parents 0398cb49fe5e
children dba2fa0fe5c0
comparison
equal deleted inserted replaced
6215:e435026183c3 6216:c887475712ae
2677 2677
2678 2678
2679 echocheck "aRts" 2679 echocheck "aRts"
2680 if test "$_arts" = auto ; then 2680 if test "$_arts" = auto ; then
2681 _arts=no 2681 _arts=no
2682 if ( artsc-config --version >> /dev/null ) ; then 2682 if ( artsc-config --version ) >> "$TMPLOG" 2>&1 ; then
2683 _arts=yes 2683 _arts=yes
2684 fi 2684 fi
2685 fi 2685 fi
2686 2686
2687 if test "$_arts" = yes ; then 2687 if test "$_arts" = yes ; then
2688 _def_arts='#define USE_ARTS 1' 2688 _def_arts='#define USE_ARTS 1'