diff options
author | Michael I. Bushnell <mib@gnu.org> | 1996-05-06 20:36:07 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1996-05-06 20:36:07 +0000 |
commit | 876fad0792da0a8dae29c113998176a5e494d35f (patch) | |
tree | fcae709369f541b633b6dc68c688fbc16be2d9ef /libports | |
parent | 4d66204260bdcf12d0541392b3d73cc9ae0a4c01 (diff) |
(SRCS): Delete `intern-external-port.c' and `allocate-port.c'.
Diffstat (limited to 'libports')
-rw-r--r-- | libports/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libports/Makefile b/libports/Makefile index 909d655a..68088ea3 100644 --- a/libports/Makefile +++ b/libports/Makefile @@ -22,7 +22,7 @@ dir := libports makemode := library libname = libports -SRCS = create-bucket.c create-class.c allocate-port.c intern-external-port.c \ +SRCS = create-bucket.c create-class.c \ reallocate-port.c reallocate-from-external.c destroy-right.c \ lookup-port.c port-ref.c port-ref-weak.c port-deref.c port-deref-weak.c \ no-senders.c begin-rpc.c end-rpc.c manage-one-thread.c manage-multithread.c \ |