diff options
author | 2019-03-05 11:03:25 -0800 | |
---|---|---|
committer | 2019-03-05 11:03:25 -0800 | |
commit | 8aafddfb9e8bb1fbca0435bb78f0bf739e807467 (patch) | |
tree | f25b4c621ec01900a2905cf61b1682febd428eb8 /projects/php | |
parent | 9087f31be29d751bda76c1904963276e728e0af7 (diff) |
[php] Disable UBSan for now (related to #2202).
Diffstat (limited to 'projects/php')
-rw-r--r-- | projects/php/project.yaml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/projects/php/project.yaml b/projects/php/project.yaml index a2775a24..054648d3 100644 --- a/projects/php/project.yaml +++ b/projects/php/project.yaml @@ -4,4 +4,3 @@ auto_ccs: - "smalyshev@gmail.com" sanitizers: - address - - undefined |