diff options
| author | Qi Wang <interwq@gwu.edu> | 2019-02-06 13:36:56 -0800 |
|---|---|---|
| committer | Qi Wang <interwq@gmail.com> | 2019-02-06 21:00:59 -0800 |
| commit | 23b15e764b3d87c8e69a348d60d13e7e44f137b5 (patch) | |
| tree | 64070a425f850b19d1a2a04fa57bd13c2f42705d /scripts/gen_travis.py | |
| parent | 2db2d2ef5e1cf2eb2c0de362c916d0f7a2f1a9ef (diff) | |
Add --disable-libdl to travis.
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 e92660f7..65b0b67c 100755 --- a/scripts/gen_travis.py +++ b/scripts/gen_travis.py @@ -45,6 +45,7 @@ configure_flag_unusuals = [ '--enable-debug', '--enable-prof', '--disable-stats', + '--disable-libdl', ] malloc_conf_unusuals = [ |