Hallo Jerry, > Thanks for the info. I appreciate it. I don't suppose that there is a > recommended procedure to prevent just such an occurrence again in the > future? Not that it is really all that important. I believe that this > is the first time this has happened to me.
This problems are hard to detect. Thanks for reporting. It was related to options not set by default. I have commited a fix now. kind regards Dirk - Dirk Meyer, Im Grund 4, 34317 Habichtswald, Germany - [dirk.me...@dinoex.sub.org],[dirk.me...@guug.de],[din...@freebsd.org] http://people.freebsd.org/~dinoex/errorlogs/ _______________________________________________ freebsd-ports@freebsd.org mailing list http://lists.freebsd.org/mailman/listinfo/freebsd-ports To unsubscribe, send any mail to "freebsd-ports-unsubscr...@freebsd.org"
