[m-rev.] diff: bug fix for scripts/Mercury.config.bootstrap.in

[James Goddard]

Estimated hours taken: 0.2
Branches: main

Bug fix for Mercury.config.bootstrap.in.

scripts/Mercury.config.bootstrap.in:
	Moved a comment that was causing problems.

-----------------------------------------------------------------------
# The default optimization level should be after
# all the options that describe the machine configuration.
+#
+# Insert this when the --java-interpreter option has been around for a while:
+#		--java-interpreter "$(MERCURY_JAVA_INTERPRETER)" \
DEFAULT_MCFLAGS=\
		@ALL_LOCAL_C_INCL_DIR_MMC_OPTS@ \
		@ALL_LOCAL_C_LIB_DIR_MMC_OPTS@ \
		--cc "$(MERCURY_C_COMPILER)" \
		--java-compiler "$(MERCURY_JAVA_COMPILER)" \
-# uncomment this when the --java-interpreter option has been around for a while
-#		--java-interpreter "$(MERCURY_JAVA_INTERPRETER)" \
		--grade "$(MERCURY_DEFAULT_GRADE)" \
		--cflags-for-ansi "@CFLAGS_FOR_ANSI@" \
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------