summaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
authorQi Wang <interwq@gwu.edu>2019-09-11 10:31:30 -0700
committerQi Wang <interwq@gmail.com>2019-09-22 18:51:03 -0700
commitd1be488cd8ceab285b93265ae70a258779ab8310 (patch)
tree728cac73b92c782a35b969f8ad26847aa29c4270 /scripts
parentac5185f73e4dc6b8d9a48b7080d07b11ef231765 (diff)
downloadjemalloc-d1be488cd8ceab285b93265ae70a258779ab8310.tar.gz
Add --with-lg-page=16 to CI.
Diffstat (limited to 'scripts')
-rwxr-xr-xscripts/gen_run_tests.py1
-rwxr-xr-xscripts/gen_travis.py1
2 files changed, 2 insertions, 0 deletions
diff --git a/scripts/gen_run_tests.py b/scripts/gen_run_tests.py
index 6875a495..77c2ce53 100755
--- a/scripts/gen_run_tests.py
+++ b/scripts/gen_run_tests.py
@@ -41,6 +41,7 @@ possible_config_opts = [
'--enable-prof',
'--disable-stats',
'--enable-opt-safety-checks',
+ '--with-lg-page=16',
]
if bits_64:
possible_config_opts.append('--with-lg-vaddr=56')
diff --git a/scripts/gen_travis.py b/scripts/gen_travis.py
index f1478c62..b46bd001 100755
--- a/scripts/gen_travis.py
+++ b/scripts/gen_travis.py
@@ -47,6 +47,7 @@ configure_flag_unusuals = [
'--disable-stats',
'--disable-libdl',
'--enable-opt-safety-checks',
+ '--with-lg-page=16',
]
malloc_conf_unusuals = [