diff options
| author | David Goldblatt <davidgoldblatt@fb.com> | 2019-03-22 17:08:53 -0700 |
|---|---|---|
| committer | David Goldblatt <davidtgoldblatt@gmail.com> | 2019-04-15 16:48:12 -0700 |
| commit | 21cfe59ff7b10a61dabe26cd3dbfb7a255e1f5e8 (patch) | |
| tree | 41d135bb55034e0c6a9de2669e55fed724e36b03 /scripts/gen_travis.py | |
| parent | 33e1dad6803ea3e20971b46baa299045f736d22a (diff) | |
Safety checks: Run tests by default
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 = [ |