# HG changeset patch
# User pl
# Date 1022579325 0
# Node ID c887475712ae452c1bda23aea60176421565ba4e
# Parent  e435026183c36856c88012804092a2ed20a3c2e6
small fix for arts

diff -r e435026183c3 -r c887475712ae configure
--- 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