Re: PHP remove unused CONFIGURE_ARGS

2017-11-22 Thread Stuart Henderson
On 2017/11/21 19:12, Martijn van Duren wrote: > ping > > On 11/17/17 08:03, Martijn van Duren wrote: > > OK? > > > > martijn@ > > > > Index: Makefile.inc > > === > > RCS file: /cvs/ports/lang/php/Makefile.inc,v > > retrieving revisi

Re: PHP remove unused CONFIGURE_ARGS

2017-11-21 Thread Martijn van Duren
ping On 11/17/17 08:03, Martijn van Duren wrote: > OK? > > martijn@ > > Index: Makefile.inc > === > RCS file: /cvs/ports/lang/php/Makefile.inc,v > retrieving revision 1.99 > diff -u -p -r1.99 Makefile.inc > --- Makefile.inc 16

PHP remove unused CONFIGURE_ARGS

2017-11-16 Thread Martijn van Duren
OK? martijn@ Index: Makefile.inc === RCS file: /cvs/ports/lang/php/Makefile.inc,v retrieving revision 1.99 diff -u -p -r1.99 Makefile.inc --- Makefile.inc16 Nov 2017 18:37:01 - 1.99 +++ Makefile.inc17 Nov 201