*** configure~	Fri Sep 23 13:29:23 1994
--- configure	Thu Nov 17 05:50:37 1994
***************
*** 415,421 ****
  
  case "$TARGET-$COMPILER" in
  386bsd*|freebsd*|ultrix*|bsdi*|netbsd*)
!     patchShellScripts /bin/bash
      if [ "$TARGET-$COMPILER" = "bsdi-gcc" ]; then
  	#
  	# Workaround old BSDi include file problem
--- 415,421 ----
  
  case "$TARGET-$COMPILER" in
  386bsd*|freebsd*|ultrix*|bsdi*|netbsd*)
!     patchShellScripts /usr/local/bin/bash
      if [ "$TARGET-$COMPILER" = "bsdi-gcc" ]; then
  	#
  	# Workaround old BSDi include file problem