ports/64753: ports/misc/pdmenu doesn't install anything

[Volker Stolz]

The following reply was made to PR ports/64753; it has been noted by GNATS.

From: Volker Stolz <stolz at i2.informatik.rwth-aachen.de>
To: Clemens Fischer <ino-qc at spotteswoode.de.eu.org>
Cc: freebsd-gnats-submit at freebsd.org
Subject: Re: ports/64753: ports/misc/pdmenu doesn't install anything
Date: Sat, 27 Mar 2004 16:07:22 +0100

 On Samstag, M=E4rz 27, 2004, at 02:03  Uhr, Clemens Fischer wrote:
 
 > * Volker Stolz:
 >> Works fine here. Can you please post the transcript of your attempt?
 >
 > sure.  this is the original transcript, with commands and their output
 > interspersed.  note that left aligned directories right before a=20
 > prompt (or
 > right after command output) belong to the prompt.
 >
 > 0 p1 # make -v install
 > =3D=3D=3D>  Building for pdmenu-1.2.81_1
 > GNU Make 3.80
 > Copyright (C) 2002  Free Software Foundation, Inc.
 > This is free software; see the source for copying conditions.
 > There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A
 > PARTICULAR PURPOSE.
 > =3D=3D=3D>  Installing for pdmenu-1.2.81_1
 > ...
 
 Hm, it's the -v on the command-line: I think it's probably passed=20
 either via $MAKE_FLAGS or $MAKE_ARGS to GNU make which just prints its=20=
 
 copyright and does nothing else.
 Interim solution: Don't use -v.
 I don't think that's intended, though.
 
 Volker