mirror of
https://github.com/php/php-src.git
synced 2025-08-16 05:58:45 +02:00
remove duplicated symbol
This commit is contained in:
parent
5a9691bf08
commit
cd7853b455
1 changed files with 1 additions and 1 deletions
|
@ -1553,7 +1553,7 @@ function ADD_SOURCES(dir, file_list, target, obj_dir)
|
|||
if (X64) {
|
||||
analyzer_base_flags += " -D _M_X64 -D _WIN64";
|
||||
} else {
|
||||
analyzer_base_flags += " -D _M_IX86 -D _WIN32";
|
||||
analyzer_base_flags += " -D _M_IX86 ";
|
||||
}
|
||||
analyzer_base_flags += " -D _WIN32 -D WIN32 -D _WINDOWS";
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue