On Sun, Jan 09, 2005 at 12:52:07AM +0100, Alfred M. Szmidt wrote:
> 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)
It's in the `file' package.
Michael
--
<Overfiend> Debian is the first organization in history to have more
single points of failure than actual personnel.
_______________________________________________
Help-hurd mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/help-hurd
