"Alfred M. Szmidt" <[EMAIL PROTECTED]> writes: > Well, the real problem is that the current configure ignores the > problem completly. Would you be happy with changing the behaviour so > that configure will print a warning if the program is missing,
Right, configure should definitely display a clear warning. I see nothing wrong with using /usr/bin/mig as the default, as the resulting error message make: /usr/bin/mig: Command not found. is perfectly clear. I see no need to mess with the "missing" script for this (but I've never understood what the missing script is ever good for, I just guess it has to do with sometimes ignoring errors and then leaving generated files like configure and Makefile.in unchanged). /Niels _______________________________________________ Bug-hurd mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-hurd
