Many other executables from the same directory are executing. I am not sure what is happening.
Hmph, should have thought about this before, try: file /bin/make (I don't know in what Debian package the file program is in, so you might have to install it if it isn't avaiable on your system) _______________________________________________ Help-hurd mailing list [email protected] http://lists.gnu.org/mailman/listinfo/help-hurd
