Squashed commit of the following:
commit
788a59093cd72295f7c122f453e693a624038cac
Author: Michael Wallner <mike@php.net>
Date: Thu Sep 15 08:18:14 2016 +0200
flush
commit
e6eb81c90406275f1b27df1ba9ccaa6987980bf8
Author: Michael Wallner <mike@php.net>
Date: Thu Sep 15 07:59:57 2016 +0200
checking if we really need this
commit
9cb4ac2e1003aa2aa6465854cb99382b447db2bb
Author: Michael Wallner <mike@php.net>
Date: Thu Sep 15 07:44:14 2016 +0200
cd src/.libs
commit
ec71e1dbf561a6ce1b6b46b027f0e013a8dc2209
Author: Michael Wallner <mike@php.net>
Date: Wed Sep 14 22:43:35 2016 +0200
try to locate gcno files
commit
4889271cdaeaf8dc4445523d04b8d95779b13af9
Author: Michael Wallner <mike@php.net>
Date: Wed Sep 14 21:31:25 2016 +0200
anothertry
commit
28e3c60b50fa25f459ed6255298483f6210cc317
Author: Michael Wallner <mike@php.net>
Date: Wed Sep 14 19:39:50 2016 +0200
manually run gcov
commit
61d159102918e99ac4c674d597fdc12c490850eb
Author: Michael Wallner <mike@php.net>
Date: Wed Sep 14 19:12:35 2016 +0200
codecov