diff options
author | Michael I. Bushnell <mib@gnu.org> | 1995-06-27 20:00:12 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1995-06-27 20:00:12 +0000 |
commit | 3ac5696378822682f6051b5f257a40377efb5994 (patch) | |
tree | 554583bbfccf0d27e7896baf8c37127f9deb39a4 /libports | |
parent | 5eacda3767c07952a8ba4c6ff77cb930e4a9db08 (diff) |
If HURDLIBS includes libports, kludge in so that libthreads appears
too.
Diffstat (limited to 'libports')
0 files changed, 0 insertions, 0 deletions