replica
/
diffblue-cbmc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

don't pretend to be MS Visual Studio when preprocessing with GCC 

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@4400 6afb6bc1-c8e4-404c-8f48-9ae832c5b171
This commit is contained in:
kroening 2014-08-04 12:05:03 +00:00
parent fede0266bf
commit 864dad9cfa
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/ansi-c/c_preprocess.cpp
View File

@ -718,8 +718,8 @@ bool c_preprocess_gcc(
break;
case configt::ansi_ct::OS_WIN:
command+=" -D _MSC_VER=1400";
command+=" -D _WIN32";
if(config.ansi_c.mode!=configt::ansi_ct::MODE_VISUAL_STUDIO_C_CPP)
command+=" -D _M_IX86=Blend";