Slater, Joseph
840850e834
php: define PACKAGECONFIG[] for valgrind
...
configure will look by default for valgrind.h in some host directories.
We override this by setting --with-valgrind even if we do not want it.
The default value of PACKAGECONFIG does not enable valgrind support.
Signed-off-by: Joe Slater <joe.slater@windriver.com>
Signed-off-by: Robert Yang <liezhi.yang@windriver.com>
Signed-off-by: Khem Raj <raj.khem@gmail.com>
2018-08-28 18:35:11 -07:00
..
2018-08-11 20:16:52 -07:00
2016-04-28 10:38:37 +02:00
2018-03-16 19:14:24 -07:00
2018-05-29 12:56:19 -07:00
2015-06-08 14:15:24 +02:00
2017-08-31 10:18:33 +02:00
2018-04-13 12:43:38 -07:00
2018-08-19 16:09:28 -07:00
2015-05-22 20:14:06 +02:00
2015-05-22 20:14:06 +02:00
2017-12-11 07:53:52 -08:00
2014-07-22 00:01:53 +02:00
2016-12-13 11:19:11 +01:00
2018-05-01 18:12:48 -07:00
2018-05-17 08:19:22 -07:00
2016-05-10 20:18:29 +02:00
2018-06-27 22:17:33 -07:00
2014-06-21 13:06:13 +02:00
2017-09-07 10:57:36 +02:00
2016-10-05 18:21:13 +02:00
2018-05-29 12:56:19 -07:00
2018-01-16 21:33:04 -08:00
2017-04-05 19:28:30 +02:00
2018-08-19 16:09:28 -07:00
2018-08-19 16:09:28 -07:00
2016-01-06 13:25:54 +01:00
2018-06-27 22:17:33 -07:00
2017-07-24 18:58:54 +02:00
2017-02-13 18:43:23 +01:00
2018-05-29 09:14:26 -07:00
2017-07-14 23:44:33 +02:00
2017-01-25 16:00:00 +01:00
2018-06-27 22:17:33 -07:00
2018-06-08 00:57:29 -07:00
2018-08-21 10:35:49 -07:00
2017-12-27 07:25:03 -08:00
2018-05-17 08:28:20 -07:00
2013-12-21 19:21:17 +01:00
2017-03-31 13:25:58 +02:00
2018-06-14 09:01:12 -07:00
2018-03-29 16:48:16 -07:00
2018-05-29 12:56:19 -07:00
2016-02-25 17:47:28 +01:00
2018-08-28 09:36:28 -07:00
2018-08-15 08:20:06 -07:00
2017-11-30 09:13:32 -08:00
2018-07-27 19:26:51 -07:00
2018-04-08 17:00:06 -07:00
2018-08-28 18:35:11 -07:00
2017-09-07 10:57:37 +02:00
2018-08-28 09:37:33 -07:00
2018-07-27 07:19:17 -07:00
2018-05-29 09:15:05 -07:00
2016-04-12 11:07:45 +02:00
2018-05-01 18:12:48 -07:00
2018-07-20 16:07:12 -07:00
2018-02-23 20:28:20 -08:00
2017-10-04 14:53:26 +00:00
2018-08-16 21:41:15 -04:00
2018-08-22 21:14:04 -07:00
2017-08-28 11:06:02 +02:00
2016-12-26 08:24:54 +01:00