diff options
Diffstat (limited to 'scripts/gen_travis.py')
| -rwxr-xr-x | scripts/gen_travis.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/gen_travis.py b/scripts/gen_travis.py index 65b0b67c..f1478c62 100755 --- a/scripts/gen_travis.py +++ b/scripts/gen_travis.py @@ -46,6 +46,7 @@ configure_flag_unusuals = [ '--enable-prof', '--disable-stats', '--disable-libdl', + '--enable-opt-safety-checks', ] malloc_conf_unusuals = [ |