Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:82231 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 59095 invoked from network); 9 Feb 2015 07:49:01 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 9 Feb 2015 07:49:01 -0000 X-Host-Fingerprint: 85.223.116.227 227-116.citynet.ftth.internl.net Received: from [85.223.116.227] ([85.223.116.227:9998] helo=localhost.localdomain) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id 4E/71-50460-A6668D45 for ; Mon, 09 Feb 2015 02:48:59 -0500 To: internals@lists.php.net Date: Mon, 09 Feb 2015 08:48:53 +0100 Message-ID: References: X-Newsreader: Forte Agent 3.3/32.846 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Posted-By: 85.223.116.227 Subject: Re: new json, push generated file? From: phpdev@ehrhardt.nl (Jan Ehrhardt) Pierre Joye in php.internals (Mon, 9 Feb 2015 09:40:21 +0700): >Should we push json_parser.tab.c? Which is generated (re2c), just like >what is done in date or other? Yes, you should. I ran into this problem when I tried to compile PHP7 from git head. The Windows builds are currently broken: http://windows.php.net/downloads/snaps/master/r0698901/logs/make-nts-windows-vc11-x86-r0698901.html Jan