*** Configure.orig	Tue Mar  2 11:28:08 1999
--- Configure	Tue Mar  2 11:36:05 1999
***************
*** 829,835 ****
  *)
  	if test ! -t 0; then
  		echo "Say 'sh Configure', not 'sh <Configure'"
! 		exit 1
  	fi
  	;;
  esac
--- 829,835 ----
  *)
  	if test ! -t 0; then
  		echo "Say 'sh Configure', not 'sh <Configure'"
! #		exit 1
  	fi
  	;;
  esac
