>Date: Sat, 27 Jan 1996 15:06:45 -0500
>From: "John F. Woods" <jfw@jfwhome.funhouse.com>

(YA vacation-delayed response)

>Sup keeps complaining that it "can't delete directory src/lib/libkvm".  I would
>hope not; isn't that still in use?  (src/lib/Makefile certainly seems to think
>so!)

This is a side-effect (buglet?) of src/lib/libkvm's move from
current.ksrc{,-common} to current.src.  I eliminated it by editing
/usr/sup/current/last.ksrc* and deleting any lines that contained
"src/lib/libkvm".
-- 
Mike Long <mike.long@analog.com>           http://www.shore.net/~mikel
VLSI Design Engineer         finger mikel@shore.net for PGP public key
Analog Devices, CPD Division          CCBF225E7D3F7ECB2C8F7ABB15D9BE7B
Norwood, MA 02062 USA       (eq (opinion 'ADI) (opinion 'mike)) -> nil