From owner-freebsd-current@FreeBSD.ORG  Thu Dec  9 23:33:09 2004
Return-Path: <owner-freebsd-current@FreeBSD.ORG>
Delivered-To: freebsd-current@freebsd.org
Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125])
	by hub.freebsd.org (Postfix) with ESMTP id 05A3416A4CE
	for <freebsd-current@freebsd.org>;
	Thu,  9 Dec 2004 23:33:09 +0000 (GMT)
Received: from smtpx.spintech.ro (smtpx.spintech.ro [81.181.24.231])
	by mx1.FreeBSD.org (Postfix) with ESMTP id AF40143D1D
	for <freebsd-current@freebsd.org>;
	Thu,  9 Dec 2004 23:33:08 +0000 (GMT)
	(envelope-from aanton@spintech.ro)
Received: from smtpx.spintech.ro (jail-clamsmtp [15.0.0.1])
	by smtpx.spintech.ro (Postfix) with ESMTP id 714C23A4F2;
	Thu,  9 Dec 2004 22:18:37 +0000 (UTC)
Received: from [81.181.24.230] (beastie.spintech.ro [81.181.24.230])
	by smtpx.spintech.ro (Postfix) with ESMTP id 2CF483A4DF;
	Thu,  9 Dec 2004 22:18:37 +0000 (UTC)
Message-ID: <41B8E0B9.9030602@spintech.ro>
Date: Fri, 10 Dec 2004 01:33:13 +0200
From: Alin-Adrian Anton <aanton@spintech.ro>
User-Agent: Mozilla Thunderbird 0.8 (X11/20041016)
X-Accept-Language: en-us, en
MIME-Version: 1.0
To: "Wilkinson, Alex" <alex.wilkinson@dsto.defence.gov.au>
References: <20041209231228.GD18003@squash.dsto.defence.gov.au>
In-Reply-To: <20041209231228.GD18003@squash.dsto.defence.gov.au>
X-Enigmail-Version: 0.86.1.0
X-Enigmail-Supports: pgp-inline, pgp-mime
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-AV-Checked: ClamAV using ClamSMTP
cc: freebsd-current@freebsd.org
Subject: Re: does this mean my kernel is trashed ?
X-BeenThere: freebsd-current@freebsd.org
X-Mailman-Version: 2.1.1
Precedence: list
List-Id: Discussions about the use of FreeBSD-current
	<freebsd-current.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-current>,
	<mailto:freebsd-current-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-current>
List-Post: <mailto:freebsd-current@freebsd.org>
List-Help: <mailto:freebsd-current-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-current>,
	<mailto:freebsd-current-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Thu, 09 Dec 2004 23:33:09 -0000

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