On Fri, 2010-05-07 at 09:52 +, David Southwell wrote:
> > On Fri, 7 May 2010 09:30:41 +
> >
> > David Southwell wrote:
> > > Hi
> > > Is the a makefile error, resource problem or am I in error?
> > > dns1# make clean
> > > ===> Cleaning for mediawiki-1.15.3
> > > dns1# make
> > > ===>
> On Fri, 7 May 2010 09:30:41 +
>
> David Southwell wrote:
> > Hi
> > Is the a makefile error, resource problem or am I in error?
> > dns1# make clean
> > ===> Cleaning for mediawiki-1.15.3
> > dns1# make
> > ===> Found saved configuration for mediawiki-1.15.1
> > => mediawiki-1.15.3.tar.gz
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
On 07/05/2010 10:30:41, David Southwell wrote:
> Hi
> Is the a makefile error, resource problem or am I in error?
> dns1# make clean
> ===> Cleaning for mediawiki-1.15.3
> dns1# make
> ===> Found saved configuration for mediawiki-1.15.1
> => mediawik
On Fri, 7 May 2010 09:30:41 +
David Southwell wrote:
> Hi
> Is the a makefile error, resource problem or am I in error?
> dns1# make clean
> ===> Cleaning for mediawiki-1.15.3
> dns1# make
> ===> Found saved configuration for mediawiki-1.15.1
> => mediawiki-1.15.3.tar.gz doesn't seem to exi
Hi
Is the a makefile error, resource problem or am I in error?
dns1# make clean
===> Cleaning for mediawiki-1.15.3
dns1# make
===> Found saved configuration for mediawiki-1.15.1
=> mediawiki-1.15.3.tar.gz doesn't seem to exist in /usr/ports/distfiles/.
=> Attempting to fetch from http://download.
