(dist_noinst_HEADERS): Remove some files not

currently installed.

diff --git a/gc/include/Makefile.am b/gc/include/Makefile.am
index 306026b0a8ace853bef42919ee899e655a8794fd..583071bf7ff7e64adf6a16b907e081c832cdd4ed 100644 (file)
--- 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