karl@claude.umb.edu (Karl Berry) (11/14/89)
config.gdb should give `sun3os3' in the list, not `sun3'. (This is with 3.4) karl@umb.edu