From owner-freebsd-emulation@FreeBSD.ORG Wed Nov 9 17:30:09 2005 Return-Path: X-Original-To: emulation@freebsd.org Delivered-To: freebsd-emulation@FreeBSD.ORG Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125]) by hub.freebsd.org (Postfix) with ESMTP id 823F016A41F for ; Wed, 9 Nov 2005 17:30:09 +0000 (GMT) (envelope-from bsam@bsam.ru) Received: from bsam.ru (gw.ipt.ru [80.253.10.66]) by mx1.FreeBSD.org (Postfix) with ESMTP id 8DEB543D48 for ; Wed, 9 Nov 2005 17:30:06 +0000 (GMT) (envelope-from bsam@bsam.ru) Received: from bsam by bsam.ru with local (Exim 4.30; FreeBSD) id 1EZtks-0001qk-RZ; Wed, 09 Nov 2005 20:29:02 +0300 To: Alexander Leidinger References: <20051106074952.GB23469@xor.obsecurity.org> <20051108203900.6f927f8d@Magellan.Leidinger.net> From: Boris Samorodov Date: Wed, 09 Nov 2005 20:29:02 +0300 In-Reply-To: <20051108203900.6f927f8d@Magellan.Leidinger.net> (Alexander Leidinger's message of "Tue, 8 Nov 2005 20:39:00 +0100") Message-ID: <39816513@srv.sem.ipt.ru> User-Agent: Gnus/5.11 (Gnus v5.11) Emacs/22.0.50 (berkeley-unix) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Sender: "Boris B. Samorodov" Cc: emulation@freebsd.org Subject: Re: [ports-i386@pointyhat.freebsd.org: linux_devtools-8.0_4 failed on i386 7] X-BeenThere: freebsd-emulation@freebsd.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: Development of Emulators of other operating systems List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 09 Nov 2005 17:30:09 -0000 On Tue, 8 Nov 2005 20:39:00 +0100 Alexander Leidinger wrote: > I have to much on my TODO list ATM, in case someone is willing to help > out: the following directories seem to be owned by linux_base-8 and > aren't empty. So the linux_devtools port shouldn't list them in the > plist. Seems that it's a legacy of dynamic plist file. I've just submitted a PR to deal with the case: http://www.freebsd.org/cgi/query-pr.cgi?pr=88740 WBR -- Boris B. Samorodov, Research Engineer InPharmTech Co, http://www.ipt.ru Telephone & Internet Service Provider