From a3b66086edd51301746e4ccf4e12deedaf1abd1e Mon Sep 17 00:00:00 2001
From: Gareth Rees <gdr@ravenbrook.com>
Date: Sat, 22 Mar 2014 16:17:09 +0000
Subject: [PATCH] Update tool index.

Copied from Perforce
 Change: 184955
 ServerID: perforce.ravenbrook.com
---
 mps/tool/index.rst    | 23 +++++++++++++----------
 mps/tool/testcoverage |  4 +++-
 2 files changed, 16 insertions(+), 11 deletions(-)

diff --git a/mps/tool/index.rst b/mps/tool/index.rst
index 9d23b949e7b..7fe991e0510 100644
--- a/mps/tool/index.rst
+++ b/mps/tool/index.rst
@@ -25,20 +25,23 @@ This document is not confidential.
 2. Tools
 --------
 
-=================  =========================================================
-`gcovfmt.py`_      Formats the output of the ``gcov`` coverage tool into a
-                   summary table. It runs only on OS X, where it is invoked
-                   from the Xcode project after running the test suite for
-                   the “Debug” configuration.
+=================  ==========================================================
+`branch`_          Make a version or development branch.
+`gcovfmt`_         Formats the output of the ``gcov`` coverage tool into a
+                   summary table.
+`release`_         Make a product release.
+`testcoverage`_    Instrument the test suite for coverage, run it, and output
+                   a coverage report.
+`testopendylan`_   Download the latest version of Open Dylan and build it
+                   against the MPS sources.
 `testrun.bat`_     Implements the ``testrun`` make target on Windows, where
                    it is invoked from ``commpost.nmk``.
 `testrun.sh`_      Implements the ``testrun`` make target on FreeBSD and
-                   Linux, it is invoked from ``comm.gmk``, and on OS X,
-                   where it is invoked from the Xcode project.
-`test-runner.py`_  Builds and runs tests. As of 2013-05-24 it is not used.
-=================  =========================================================
+                   Linux, it is invoked from ``comm.gmk``, and on OS X, where
+                   it is invoked from the Xcode project.
+=================  ==========================================================
 
-.. _gcovfmt.py: gcovfmt.py
+.. _gcovfmt: gcovfmt
 .. _testrun.bat: testrun.bat
 .. _testrun.sh: testrun.sh
 .. _test-runner.py: test-runner.py
diff --git a/mps/tool/testcoverage b/mps/tool/testcoverage
index f8e2066d1e8..ff1967031dd 100755
--- a/mps/tool/testcoverage
+++ b/mps/tool/testcoverage
@@ -12,16 +12,18 @@
 #
 # This shell script runs the MPS test suite and prepares a test
 # coverage report.
+#
+# Supported platforms: xc.
 
 ARCH=$(uname -m)
 OS=$(uname -s)
 PROJECT=mps
-CONFIGURATION=Debug
 TOOL=$(dirname "$0")
 CODE=$TOOL/../code
 
 case "$ARCH-$OS" in
     *-Darwin)
+        CONFIGURATION=Debug
         (
             cd -- "$CODE"
             xcodebuild -config "$CONFIGURATION" clean