diff options
| author | Qi Wang <interwq@gwu.edu> | 2019-08-05 19:59:21 (GMT) |
|---|---|---|
| committer | Qi Wang <interwq@gwu.edu> | 2019-08-05 19:59:21 (GMT) |
| commit | ea6b3e973b477b8061e0076bb257dbd7f3faa756 (patch) | |
| tree | eb52a159ee9b9cf80e87e809a80035e49d7f96e2 /scripts | |
| parent | b0b3e49a54ec29e32636f4577d9d5a896d67fd20 (diff) | |
| parent | 0cfa36a58a91b30996b30c948d67e1daf184c663 (diff) | |
| download | jemalloc-5.2.1.zip jemalloc-5.2.1.tar.gz jemalloc-5.2.1.tar.bz2 | |
Merge branch 'dev'5.2.1
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/gen_run_tests.py | 1 | ||||
| -rwxr-xr-x | scripts/gen_travis.py | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/scripts/gen_run_tests.py b/scripts/gen_run_tests.py index 5052b3e..a414f81 100755 --- a/scripts/gen_run_tests.py +++ b/scripts/gen_run_tests.py @@ -40,6 +40,7 @@ possible_config_opts = [ '--enable-debug', '--enable-prof', '--disable-stats', + '--enable-opt-safety-checks', ] if bits_64: possible_config_opts.append('--with-lg-vaddr=56') diff --git a/scripts/gen_travis.py b/scripts/gen_travis.py index 65b0b67..f1478c6 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 = [ |