# | Line 1 | Line 1 | |
---|---|---|
1 | diff --git a/config/BuildFile.xml b/config/BuildFile.xml | |
2 | < | index 5f755d0..9510de8 100755 |
2 | > | index 3964dde..5ba09c4 100755 |
3 | --- a/config/BuildFile.xml | |
4 | +++ b/config/BuildFile.xml | |
5 | < | @@ -28,6 +28,8 @@ |
6 | < | <flags REM_LCGDICT_CPPFLAGS="-O%"/> |
5 | > | @@ -29,6 +29,8 @@ |
6 | <flags REM_LCGDICT_CXXFLAGS="-fipa%"/> | |
7 | <flags LCGDICT_CXXFLAGS="-Os -Wno-unused-variable"/> | |
8 | + | <flags CXXFLAGS="-DBOOST_DISABLE_ASSERTS"/> |
9 | +<flags REM_CXXFLAGS="-O2"/> | |
10 | +<flags CXXFLAGS="-O0"/> | |
11 |
– | Removed lines |
+ | Added lines |
< | Changed lines |
> | Changed lines |