]> granicus.if.org Git - php/commitdiff
Merge branch 'PHP-7.4'
authorNikita Popov <nikita.ppv@gmail.com>
Wed, 11 Sep 2019 10:02:39 +0000 (12:02 +0200)
committerNikita Popov <nikita.ppv@gmail.com>
Wed, 11 Sep 2019 10:02:39 +0000 (12:02 +0200)
1  2 
azure-pipelines.yml
azure/community_job.yml

index 67060e4d9ee2a08ddbd4acb100701ef12425d344,82531f278680cd120a2c10cfa75760e46a160969..586edf72e87936d4627659ee9b507cac630d9f88
@@@ -79,6 -79,6 +79,6 @@@ jobs
        parameters:
          configurationName: COMMUNITY
          configurationParameters: >-
 -            --enable-debug --enable-maintainer-zts
 +            --enable-debug --enable-zts
-             CFLAGS='-fsanitize=undefined,address -DZEND_TRACK_ARENA_ALLOC'
+             CFLAGS='-fsanitize=undefined,address -fno-sanitize-recover -DZEND_TRACK_ARENA_ALLOC'
              LDFLAGS='-fsanitize=undefined,address'
Simple merge