[m-dev.] trivial diff: profiler depends on browser
Zoltan Somogyi
zs at cs.mu.OZ.AU
Tue Sep 28 14:24:37 AEST 1999
Mmakefile:
Since the profiler directory refers to the browser directory's init
file, make the profiler target depend on the browser target.
Zoltan.
Index: Mmakefile
===================================================================
RCS file: /home/mercury1/repository/mercury/Mmakefile,v
retrieving revision 1.41
diff -u -b -r1.41 Mmakefile
--- Mmakefile 1999/09/16 04:46:31 1.41
+++ Mmakefile 1999/09/21 00:31:38
@@ -139,7 +139,7 @@
cd doc && $(SUBDIR_MMAKE)
.PHONY: profiler
-profiler: dep_profiler scripts util boehm_gc runtime library
+profiler: dep_profiler scripts util boehm_gc runtime library browser
cd profiler && $(SUBDIR_MMAKE)
#-----------------------------------------------------------------------------#
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to: mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions: mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------
More information about the developers
mailing list