From f214027079f7e99a3523390c21da2161b6af5a6c Mon Sep 17 00:00:00 2001 From: Dave Love Date: Mon, 16 Jun 2003 18:22:13 +0000 Subject: [PATCH] (dist_noinst_HEADERS): Remove some files not currently installed. --- gc/include/Makefile.am | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/gc/include/Makefile.am b/gc/include/Makefile.am index 306026b0a8a..583071bf7ff 100644 --- a/gc/include/Makefile.am +++ b/gc/include/Makefile.am @@ -29,7 +29,4 @@ dist_noinst_HEADERS = private/gc_hdrs.h \ private/gc_priv.h private/gcconfig.h \ private/gc_pmark.h private/gc_locks.h \ private/solaris_threads.h private/dbg_mlc.h \ - private/specific.h private/cord_pos.h \ - private/pthread_support.h private/pthread_stop_world.h \ - private/darwin_semaphore.h private/darwin_stop_world.h \ - cord.h ec.h javaxfc.h + private/specific.h -- 2.39.5