--- ../tmp/pgui-dev20020706/pgserver/include/pgserver/Makefile.am	2002-04-07 09:26:17.000000000 +0800
+++ pgserver/include/pgserver/Makefile.am	2002-07-07 20:49:41.000000000 +0800
@@ -30,6 +30,6 @@
 autoconf.h: $(CONFIG_FILE) $(top_builddir)/config.status \
 	$(top_srcdir)/config.in $(top_srcdir)/configscript/Configure
 	sed "s/.*//g" $(top_srcdir)/config.in | \
-		sh $(top_srcdir)/configscript/Configure \
+		bash $(top_srcdir)/configscript/Configure \
 		$(top_srcdir)/config.in @CONFIG_FILE@ > /dev/null
 	rm -f .config autoconf.h && mv .config.h autoconf.h