*** Makefile.in.ORIG	Tue Nov 17 12:35:52 2009
--- Makefile.in	Tue Nov 17 12:36:07 2009
***************
*** 67,73 ****
  
  #### End of system configuration section. ####
  
! SHELL = /bin/sh
  
  LIBSRCS = \
  	gl/lib/argmatch.c \
--- 67,73 ----
  
  #### End of system configuration section. ####
  
! SHELL = /usr/bin/bash
  
  LIBSRCS = \
  	gl/lib/argmatch.c \