[m-rev.] trivial diff: install gc_mark.h
Fergus Henderson
fjh at cs.mu.OZ.AU
Thu Sep 5 18:38:24 AEST 2002
Branches: main
Estimated hours taken: 0.25
Fix a bug introduced when I updated to gc6.1alpha5.
boehm_gc/Mmakefile:
Install gc_mark.h. This is needed for compiling with `--inline-alloc'.
Workspace: /home/ceres/fjh/ws-ceres2/mercury
Index: boehm_gc/Mmakefile
===================================================================
RCS file: /home/mercury1/repository/mercury/boehm_gc/Mmakefile,v
retrieving revision 1.19
diff -u -d -r1.19 Mmakefile
--- boehm_gc/Mmakefile 29 Apr 2002 08:21:59 -0000 1.19
+++ boehm_gc/Mmakefile 5 Sep 2002 08:35:45 -0000
@@ -61,12 +61,12 @@
install: install_headers install_lib install_dll
# As well as installing gc.h (and hence gc_pthread_redirects.h and
-# gc_local_alloc.h), we also install gc_inl.h (and hence gc_priv.h,
+# gc_local_alloc.h), we also install gc_inl.h (and hence gc_priv.h, gc_mark.h,
# gc_hdrs.h, gc_locks.h, and gcconfig.h), for use with `-DINLINE_ALLOC'.
# If we're using DLLs, we also want libgc_dll.h and libgc_globals.h.
HEADERS=include/gc.h include/gc_pthread_redirects.h include/gc_local_alloc.h \
- include/gc_inl.h $(LIBGC_DLL_H) $(LIBGC_GLOBALS_H)
+ include/gc_inl.h include/gc_mark.h $(LIBGC_DLL_H) $(LIBGC_GLOBALS_H)
PRIVATE_HEADERS=include/private/gc_priv.h include/private/gc_hdrs.h \
include/private/gc_locks.h include/private/gcconfig.h
--
Fergus Henderson <fjh at cs.mu.oz.au> | "I have always known that the pursuit
The University of Melbourne | of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh> | -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-reviews mailing list
post: mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------
More information about the reviews
mailing list