ports/183399: Bad Makefile in /usr/ports/x11/gnome-desktop

[Koop Mast]

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

From: Koop Mast <kwm at rainbow-runner.nl>
To: bug-followup at FreeBSD.org, tps at vr-web.de
Cc:  
Subject: Re: ports/183399: Bad Makefile in /usr/ports/x11/gnome-desktop
Date: Tue, 29 Oct 2013 14:45:47 +0100

 How do you update your portstree? If it is via portsnap it might be a 
 faulty mirror.