Add --with-lg-page=16 to CI.

2019-09-11 10:31:30 -07:00
parent ac5185f73e
commit d1be488cd8
3 changed files with 29 additions and 0 deletions
--- 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')
--- 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 = [