diff --git a/build-mercury.xml b/build-mercury.xml index 72be76fb75..9dafd3ce6a 100644 --- a/build-mercury.xml +++ b/build-mercury.xml @@ -104,9 +104,12 @@ END SNIPPET: ant-bootstrap --> - ======================================= + ======================================================================== Mercury: start ${start.time}, stop ${stop.time} - ======================================= + ======================================================================== + + mercury.classpath=${mc} + ======================================================================== @@ -209,12 +212,6 @@ END SNIPPET: ant-bootstrap --> -