diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1995-03-21 02:44:57 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1995-03-21 02:44:57 +0000 |
| commit | 4f78fd101e31cf9c91204c67e9bb709c656aa96b (patch) | |
| tree | ce4dda677e99217c30744d548f5488c53a9a800a | |
| parent | 845a90f6261853a842633aa61626362b11a72b11 (diff) | |
(REMHDRS): Add ../libps/ps.h.
| -rw-r--r-- | hurd/Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/hurd/Makefile b/hurd/Makefile index 2bc58947..6004b9c1 100644 --- a/hurd/Makefile +++ b/hurd/Makefile @@ -1,5 +1,5 @@ # -# Copyright (C) 1993, 1994 Free Software Foundation +# Copyright (C) 1993, 1994, 1995 Free Software Foundation # # This program is free software; you can redistribute it and/or # modify it under the terms of the GNU General Public License as @@ -31,7 +31,8 @@ REMHDRS = ../libioserver/ioserver.h \ ../libfshelp/fshelp.h \ ../libdiskfs/diskfs.h \ ../libtrivfs/trivfs.h \ - ../libthreads/cthreads.h + ../libthreads/cthreads.h \ + ../libps/ps.h dohdrs: ln -s $(REMHDRS) . |