diff options
Diffstat (limited to '.travis/flags.sh')
| -rw-r--r-- | .travis/flags.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.travis/flags.sh b/.travis/flags.sh index 0c80e703..a617ec8e 100644 --- a/.travis/flags.sh +++ b/.travis/flags.sh | |||
| @@ -28,6 +28,8 @@ add_flag -O3 -march=native | |||
| 28 | 28 | ||
| 29 | # Warn on non-ISO C. | 29 | # Warn on non-ISO C. |
| 30 | add_c_flag -pedantic | 30 | add_c_flag -pedantic |
| 31 | add_c_flag -std=c99 | ||
| 32 | add_cxx_flag -std=c++11 | ||
| 31 | 33 | ||
| 32 | add_flag -g3 | 34 | add_flag -g3 |
| 33 | add_flag -ftrapv | 35 | add_flag -ftrapv |