From owner-cvs-all@FreeBSD.ORG Mon May 10 04:33:42 2004 Return-Path: Delivered-To: cvs-all@freebsd.org Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125]) by hub.freebsd.org (Postfix) with ESMTP id 00E1016A4CE; Mon, 10 May 2004 04:33:42 -0700 (PDT) Received: from atlas.informatik.rwth-aachen.de (atlas.informatik.RWTH-Aachen.DE [137.226.194.2]) by mx1.FreeBSD.org (Postfix) with ESMTP id 7EB8343D2D; Mon, 10 May 2004 04:33:40 -0700 (PDT) (envelope-from stolz@i2.informatik.rwth-aachen.de) Received: from menelaos.informatik.rwth-aachen.de (menelaos.informatik.RWTH-Aachen.DE [137.226.194.73]) 8.11.1-0.5-michaelw-20030918) with ESMTP id i4ABXd413541; Mon, 10 May 2004 13:33:39 +0200 Received: (from stolz@localhost)i4ABXd3H036254; Mon, 10 May 2004 13:33:39 +0200 (CEST) (envelope-from stolz) Date: Mon, 10 May 2004 13:33:39 +0200 From: Volker Stolz To: Kris Kennaway Message-ID: <20040510113339.GB35537@i2.informatik.rwth-aachen.de> References: <200405101118.i4ABIwsv053434@repoman.freebsd.org> <20040510113017.GB21925@xor.obsecurity.org> Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-15 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <20040510113017.GB21925@xor.obsecurity.org> X-PGP-Key: finger vs@foldr.org X-PGP-Id: 0x3FD1B6B5 User-Agent: Mutt/1.5.4i cc: cvs-ports@FreeBSD.org cc: cvs-all@FreeBSD.org cc: Volker Stolz cc: ports-committers@FreeBSD.org Subject: Re: cvs commit: ports/net/pvm pkg-message X-BeenThere: cvs-all@freebsd.org X-Mailman-Version: 2.1.1 Precedence: list List-Id: CVS commit messages for the entire tree List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 10 May 2004 11:33:42 -0000 On Mon, May 10, 2004 at 04:30:17AM -0700, Kris Kennaway wrote: > > Modified files: > > net/pvm pkg-message > > Log: > > Fix path in pkg-message. > > > What if ${PREFIX} != /usr/local? That's handled by the post-install-target. -- http://www-i2.informatik.rwth-aachen.de/stolz/ *** PGP *** S/MIME Neu! Ändern Sie den Anfangstag Ihrer Woche