diff options
author | Michael I. Bushnell <mib@gnu.org> | 1994-05-04 02:48:47 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1994-05-04 02:48:47 +0000 |
commit | 34495fca25d02504ac3bf420e97168b72b1d336c (patch) | |
tree | f991263ae8b073b41f9556a7ad7b172063c948f7 | |
parent | 8fd744534466942ebf54556a063c9edfb599b738 (diff) |
Formerly Makeconf.~39~
-rw-r--r-- | Makeconf | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -20,7 +20,7 @@ hurdsource := /home/gd3/gnu/hurd # Where to find various things for compilation: headers := $(hurdinst)/include startup := $(hurdinst)/lib/crt0.o -libc := $(patsubst %,$(hurdinst)/lib/lib%.a,c machuser hurduser c) +libc := $(patsubst %,$(hurdinst)/lib/lib%.a,c machuser hurduser c hurduser) libthreads := $(hurdinst)/lib/libthreads.a libports := $(hurdinst)/lib/libports.a libioserver := $(hurdinst)/lib/libioserver.a |