From mboxrd@z Thu Jan  1 00:00:00 1970
From: Dave Eckhardt <davide+p9@cs.cmu.edu>
Subject: Re: [9fans] Removal of .i files from sources?
To: 9fans@cse.psu.edu
In-Reply-To: <20071203222511.GA1228@hermes.my.domain>
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-ID: <14044.1196790323.1@lunacy.ugrad.cs.cmu.edu>
Date: Tue,  4 Dec 2007 12:45:23 -0500
Message-ID: <14045.1196790323@lunacy.ugrad.cs.cmu.edu>
Topicbox-Message-UUID: 115c8ffe-ead3-11e9-9d60-3106f5b1d025

> I need to build a cpu kernel from sources. Therefore I have been
> following the tip of the day recipie from the wiki. Assembling the
> sd*.n files fails due to the corresponding .i files already exist.
> In my current setup I cannot delete those nor touch them or change
> permissions.

It sounds like it's time for my occasional commercial for divergefs,
a file system which lets you layer arbitrary changes on top of a
read-only file system (it even handles deletions).

If you say

% divergefs -p /some/dir /sys/src

you can build whatever you want.  And you can resume your work the
next day with the same command.

Dave Eckhardt