# HG changeset patch
# User pkienzle
# Date 1005750880 0
# Node ID 2cd74279a5586f8e6b9e76f72a07c7d28a0836fd
# Parent  08858f6d91274f81296eeb11aaca0ff5778682f3
for debugging purposes, only remove configure.in if autoconf succeeds

diff -r 08858f6d9127 -r 2cd74279a558 autogen.sh
--- a/autogen.sh	Wed Nov 14 15:12:29 2001 +0000
+++ b/autogen.sh	Wed Nov 14 15:14:40 2001 +0000
@@ -9,8 +9,7 @@
   cat $files >> configure.in
 fi
 echo "AC_OUTPUT(Makeconf octinst.sh)" >> configure.in
-autoconf
-rm -f configure.in
+autoconf && rm -f configure.in
 
 ## Generate ./Makeconf.in
 rm -f Makeconf.in