[9fans] how to update

[9fans] how to update

[Antonin Vecera]

I have successfully done "pull" and I got some changed files from /sys/src tree.
Is it necessary to manually compile it or did it "pull" script?

I tried to "cd /sys/src ; mk all ; mk install" but it ended with some
error (compiling dhcpd.c).

Antonin

Re: [9fans] how to update

[john]

> I have successfully done "pull" and I got some changed files from /sys/src tree.
> Is it necessary to manually compile it or did it "pull" script?
> 
> I tried to "cd /sys/src ; mk all ; mk install" but it ended with some
> error (compiling dhcpd.c).
> 
> Antonin

Pull should give you fresh binaries too.
If not, I'd feel pretty stupid for running pull all these times
but never recompiling all the stuff.

Re: [9fans] how to update

[erik quanstrom]

the source on sources doesn't necessarly match the binaries
on sources.  

- erik

Re: [9fans] how to update

[geoff]

[-- Attachment #1: Type: text/plain, Size: 213 bytes --]

The binaries on sources are generated from the sources on sources, but
only twice per day.  If you know of binaries that haven't been
regenerated from sources that are older than 24 hours, please let me
know.

[-- Attachment #2: Type: message/rfc822, Size: 2187 bytes --]

From: erik quanstrom <quanstro@coraid.com>
To: 9fans@cse.psu.edu
Subject: Re: [9fans] how to update
Date: Wed, 1 Aug 2007 17:22:44 -0400
Message-ID: <3f1c09100f227d3cb53213409dc342e8@coraid.com>

the source on sources doesn't necessarly match the binaries
on sources.  

- erik