0
0
mirror of https://github.com/phpv8/v8js.git synced 2024-12-22 17:31:53 +00:00
Commit Graph

4 Commits

Author SHA1 Message Date
Stefan Siegl
6f2eeb2fc0
(jenkins) enable pointer compression conditionally, refs #439 2020-08-21 09:26:40 +02:00
Stefan Siegl
7670ded38e
(jenkins) link against libdl (needed w/ php 7.3) 2020-04-03 15:20:18 +02:00
Stefan Siegl
579f9c993f
don't --with-libxml on Jenkins, since it's --enable-libxml on PHP < 7.3 2020-04-03 14:50:49 +02:00
Stefan Siegl
ac784c797a
run sanitize=address build on jenkins 2020-04-03 14:33:23 +02:00