diff options
| author | Qi Wang <interwq@gwu.edu> | 2018-06-07 12:28:40 -0700 |
|---|---|---|
| committer | Qi Wang <interwq@gmail.com> | 2019-02-06 21:00:59 -0800 |
| commit | 2db2d2ef5e1cf2eb2c0de362c916d0f7a2f1a9ef (patch) | |
| tree | 278dfaa9a0dd6a636cbcf2b6b75d3ece10547c87 /scripts/gen_travis.py | |
| parent | 1f55a15467357bb559701687dbef1be84047ddfe (diff) | |
Make background_thread not dependent on libdl.
When not using libdl, still allows background_thread to be enabled.
Diffstat (limited to 'scripts/gen_travis.py')
0 files changed, 0 insertions, 0 deletions