From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <bd5b8e01eb561bd58a032a3c8938292a@csplan9.rit.edu>
To: 9fans@cse.psu.edu
Subject: Re: [9fans] how to update
Date: Wed,  1 Aug 2007 10:21:39 -1000
From: john@csplan9.rit.edu
In-Reply-To: <10b109140708011312t30544b33m311f99db1861263e@mail.gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset="US-ASCII"
Content-Transfer-Encoding: 7bit
Topicbox-Message-UUID: 99d9d3e2-ead2-11e9-9d60-3106f5b1d025

> 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.