ports/64753: ports/misc/pdmenu doesn't install anything
Clemens Fischer
ino-qc at spotteswoode.de.eu.org
Sun Mar 28 06:50:21 UTC 2004
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
More information about the freebsd-ports-bugs
mailing list