--- db3/configure Fri Jul 27 10:20:43 2001 +++ db3/configure Wed Mar 27 10:04:21 2002 @@ -15,7 +15,7 @@ rm -f $db_dist/../db/dist $db_dist/dist mv Makefile Makefile.orig -cat Makefile.orig | sed -e 's/ -g$/ -g -O2/' -e '/^install:/c\ +cat Makefile.orig | gsed -e 's/ -g$/ -g -O2/' -e '/^install:/c\ .PHONY: listobjs\ listobjs:\ @echo $(OBJS) $(C_OBJS) \