From e82a0c6acb54d9d8027802f29b50cf83f3262d36 Mon Sep 17 00:00:00 2001
From: Christian Rasmussen <christian.rasmussen@me.com>
Date: Sun, 28 Jul 2019 20:14:11 +0200
Subject: [PATCH] Add instructions on how to run a subset of the tests

---
 Makefile        |  2 +-
 tests/Makefile  |  2 +-
 tests/README.md | 13 +++++++++++++
 3 files changed, 15 insertions(+), 2 deletions(-)
 create mode 100644 tests/README.md

diff --git a/Makefile b/Makefile
index 752a984..1ea0ce5 100644
--- a/Makefile
+++ b/Makefile
@@ -40,7 +40,7 @@ clean-libs:
 
 test:
 	idris --build tests.ipkg
-	make -C tests only=$(only)
+	@make -C tests only=$(only)
 
 install: all install-exec install-libs
 
diff --git a/tests/Makefile b/tests/Makefile
index e714d9c..5c81407 100644
--- a/tests/Makefile
+++ b/tests/Makefile
@@ -1,7 +1,7 @@
 IDRIS2 = ../../../idris2
 
 test:
-	../runtests $(IDRIS2) --only $(only)
+	@../runtests $(IDRIS2) --only $(only)
 
 clean:
 	find . -name '*.ibc' | xargs rm -f
diff --git a/tests/README.md b/tests/README.md
new file mode 100644
index 0000000..6f5b5c8
--- /dev/null
+++ b/tests/README.md
@@ -0,0 +1,13 @@
+Tests
+=====
+
+*Note: The commands listed in this section should be run from the repository's root folder.*
+
+Run all tests: `make test`
+
+To run only a subset of the tests use: `make test only=NAME`. `NAME` is matched against the path to each test case.
+
+Examples:
+- `make test only=chez` will run all Chez Scheme tests.
+- `make test only=ttimp/basic` will run all basic tests for `TTImp`.
+- `make test only=idris2/basic001` will run a specific test.