diff options
| author | Jack Lloyd <[email protected]> | 2016-10-12 14:55:58 -0400 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2016-10-12 14:55:58 -0400 |
| commit | d59b164a2ad2bc2290265530ac1a5c7be7855975 (patch) | |
| tree | 9c75d2420a475cc24eeac042cc6653c22e27267c /src/build-data/os/linux.txt | |
| parent | 227d59d886418ace13aa91c1b0dc5fea91efbb4a (diff) | |
configure - Better handling of filesystem feature bit
Diffstat (limited to 'src/build-data/os/linux.txt')
| -rw-r--r-- | src/build-data/os/linux.txt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/build-data/os/linux.txt b/src/build-data/os/linux.txt index 42f101c3d..cb6c75df9 100644 --- a/src/build-data/os/linux.txt +++ b/src/build-data/os/linux.txt @@ -13,6 +13,8 @@ dlopen readdir timegm sockets +threads +filesystem </target_features> <aliases> |