Date: Fri, 10 Dec 2004 01:33:13 +0200 From: Alin-Adrian Anton <aanton@spintech.ro> To: "Wilkinson, Alex" <alex.wilkinson@dsto.defence.gov.au> Cc: freebsd-current@freebsd.org Subject: Re: does this mean my kernel is trashed ? Message-ID: <41B8E0B9.9030602@spintech.ro> In-Reply-To: <20041209231228.GD18003@squash.dsto.defence.gov.au> References: <20041209231228.GD18003@squash.dsto.defence.gov.au>
next in thread | previous in thread | raw e-mail | index | archive | help
Wilkinson, Alex wrote: > # sudo indent /boot/kernel/kernel > No. According to the man pages, indent is a tool used to "indent and format C program source". On the other hand, /boot/kernel/kernel is already compiled code, it's not a .c source file. You can check that with the "file" utility: %file /boot/kernel/kernel /boot/kernel/kernel: ELF 32-bit LSB executable, Intel 80386, version 1 (FreeBSD), dynamically linked (uses shared libs), not stripped % (that corresponds to my system) Regards, -- Alin-Adrian Anton Spintech Systems GPG keyID 0x1E2FFF2E (2963 0C11 1AF1 96F6 0030 6EE9 D323 639D 1E2F FF2E) gpg --keyserver pgp.mit.edu --recv-keys 1E2FFF2E
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?41B8E0B9.9030602>