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

[Clemens Fischer]

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

From: "Clemens Fischer" <ino-qc at spotteswoode.de.eu.org>
To: "Volker Stolz" <stolz at i2.informatik.rwth-aachen.de>
Cc: freebsd-gnats-submit at freebsd.org
Subject: Re: ports/64753: ports/misc/pdmenu doesn't install anything
Date: 28 Mar 2004 08:44:00 +0200

 * Volker Stolz:
 
 > Hm, it's the -v on the command-line: I think it's probably passed either
 > via $MAKE_FLAGS or $MAKE_ARGS to GNU make which just prints its copyright
 > and does nothing else.
 > Interim solution: Don't use -v.
 > I don't think that's intended, though.
 
 ahh!  thanks, this one could have bit me with a much more important
 program.  funny thing is, i tried the `-v' flag on gnu-make around the
 same time, but somehow this didn't proliferate through my brain  :)
 
 maybe you porters should check for and remove the `-v' when an inferior
 gnu-make is involved?  or reset all the $MAKE_FLAGS?
 
   clemens