diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1994-04-26 17:53:45 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1994-04-26 17:53:45 +0000 |
| commit | 4056ae3b3ac284ba0e4ea28fcdd4435a23f206a6 (patch) | |
| tree | 6d2960397e18d139a2b12275015c25c605a7a930 | |
| parent | 4009ba9b3e6942319987726a70aebd74bf5268a5 (diff) | |
Formerly Makeconf.~38~
| -rw-r--r-- | Makeconf | 9 |
1 files changed, 9 insertions, 0 deletions
@@ -112,6 +112,15 @@ $(headers)/hurd/fshelp.h: FORCE $(MAKE) -C $(hurdsource)/libfshelp $(headers)/hurd/fshelp.h endif +ifneq ($(strip $(dir)),libthreads) +$(libthreads): FORCE + $(MAKE) -C $(hurdsource)/libthreads $(libthreads) +$(headers)/cthreads.h: FORCE + $(MAKE) -C $(hurdsource)/libthreads $(headers)/cthreads.h +$(headers)/machine/cthreads.h: FORCE + $(MAKE) -C $(hurdsource)/libthreads $(headers)/machine/cthreads.h +endif + FORCE: |