mirror of
https://github.com/Mercury-Language/mercury.git
synced 2025-12-14 13:23:53 +00:00
Delete an obsolete comment about setting `GRADEFLAGS-foo_init'
Estimated hours taken: 0.25 tests/Mmake.common: samples/tests/Mmake.common: Delete an obsolete comment about setting `GRADEFLAGS-foo_init' (that isn't needed anymore, since Mmake handles it automatically -- you only need to set `GRADEFLAGS-foo'.)
This commit is contained in:
@@ -3,8 +3,7 @@
|
|||||||
#
|
#
|
||||||
# Note: Mmake lets you override MCFLAGS for a particular file by setting
|
# Note: Mmake lets you override MCFLAGS for a particular file by setting
|
||||||
# MCFLAGS-foo. Similarly, you can override GRADEFLAGS for a particular
|
# MCFLAGS-foo. Similarly, you can override GRADEFLAGS for a particular
|
||||||
# file by setting both GRADEFLAGS-foo and (for compiling the foo_init.c
|
# file by setting both GRADEFLAGS-foo.
|
||||||
# file) GRADEFLAGS-foo_init.
|
|
||||||
#
|
#
|
||||||
|
|
||||||
# override this with `mmake HAVE_NUPROLOG=yes'
|
# override this with `mmake HAVE_NUPROLOG=yes'
|
||||||
|
|||||||
@@ -3,8 +3,7 @@
|
|||||||
#
|
#
|
||||||
# Note: Mmake lets you override MCFLAGS for a particular file by setting
|
# Note: Mmake lets you override MCFLAGS for a particular file by setting
|
||||||
# MCFLAGS-foo. Similarly, you can override GRADEFLAGS for a particular
|
# MCFLAGS-foo. Similarly, you can override GRADEFLAGS for a particular
|
||||||
# file by setting both GRADEFLAGS-foo and (for compiling the foo_init.c
|
# file by setting both GRADEFLAGS-foo.
|
||||||
# file) GRADEFLAGS-foo_init.
|
|
||||||
#
|
#
|
||||||
|
|
||||||
# override this with `mmake HAVE_NUPROLOG=yes'
|
# override this with `mmake HAVE_NUPROLOG=yes'
|
||||||
|
|||||||
Reference in New Issue
Block a user