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 | |
parent | 5eacda3767c07952a8ba4c6ff77cb930e4a9db08 (diff) |
If HURDLIBS includes libports, kludge in so that libthreads appears
too.
-rw-r--r-- | Makeconf | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -145,6 +145,10 @@ endif # Provide default. install: +# XXX HACK XXX +ifneq ($(filter-out libports,$(HURDLIBS)),$(HURDLIBS)) +HURDLIBS+=libthreads +endif # Each word of $(HURDLIBS) is a library name `libfoo', which is defined as # a variable above with the complete file name to find it. |