[sorry for breaking threading, but I don't have access to my usual mail account here]
How about making MiG ignore any unregogniced options instead? I think it should already do that, if it doesn't, then I'd consider it a bug. _______________________________________________ Bug-hurd mailing list Bug-hurd@gnu.org http://lists.gnu.org/mailman/listinfo/bug-hurd
