changeset 6216:c887475712ae

small fix for arts
author pl
date Tue, 28 May 2002 09:48:45 +0000
parents e435026183c3
children d2167f69a48b
files configure
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/configure	Tue May 28 02:16:01 2002 +0000
+++ b/configure	Tue May 28 09:48:45 2002 +0000
@@ -2679,8 +2679,8 @@
 echocheck "aRts"
 if test "$_arts" = auto ; then
   _arts=no
-  if ( artsc-config --version >> /dev/null ) ; then
-  _arts=yes
+  if ( artsc-config --version ) >> "$TMPLOG" 2>&1 ; then
+    _arts=yes
   fi
 fi