[m-rev.] trivial diff: mention that `mmc --make' does not work with `--trans-intermod-opt'

[Julien Fischer]

Estimated hour taken: 0.1
Branches: main

compiler/options.m:
doc/user_guide.texi:
	Mention that `--transitive-intermodule-optimization' does not
	work with `mmc --make'.

Julien.

Index: compiler/options.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/options.m,v
retrieving revision 1.501
diff -u -r1.501 options.m
--- compiler/options.m	24 Feb 2006 07:11:12 -0000	1.501
+++ compiler/options.m	27 Feb 2006 02:46:04 -0000
@@ -3829,6 +3829,8 @@
         "--transitive-intermodule-optimization",
         "\tImport the transitive intermodule optimization data.",
         "\tThis data is imported from `<module>.trans_opt' files.",
+        "\tNote that `--transitive-intermodule-optimization' does not",
+        "\twork with `mmc --make'.",
         "--no-read-opt-files-transitively",
         "\tOnly read the inter-module optimization information",
         "\tfor directly imported modules, not the transitive",
Index: doc/user_guide.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/user_guide.texi,v
retrieving revision 1.468
diff -u -r1.468 user_guide.texi
--- doc/user_guide.texi	24 Feb 2006 07:11:16 -0000	1.468
+++ doc/user_guide.texi	27 Feb 2006 02:40:58 -0000
@@ -6755,6 +6755,8 @@
 are different to the @file{@var{module}.opt} files as @samp{.trans_opt}
 files may depend on other @samp{.trans_opt} files, whereas each
 @samp{.opt} file may only depend on the corresponding @samp{.m} file.
+Note that @samp{--transitive-intermodule-optimization} does not
+work with @samp{mmc --make}.

 @sp 1
 @item --no-read-opt-files-transitively

--------------------------------------------------------------------------
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
--------------------------------------------------------------------------