From ac7644f4124b8ffbfb070b1504162c112f3b9fca Mon Sep 17 00:00:00 2001
From: Matthijs Mekking <matthijs@isc.org>
Date: Thu, 30 Apr 2020 09:33:07 +0200
Subject: [PATCH] Update run system test doc

---
 doc/dev/dev.md | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/doc/dev/dev.md b/doc/dev/dev.md
index ba4f530721..7dfef18ced 100644
--- a/doc/dev/dev.md
+++ b/doc/dev/dev.md
@@ -153,8 +153,13 @@ To run only the system tests, omitting unit tests:
         $ cd bin/tests/system
         $ sh runall.sh
 
-Or, to run an individual system test:
+To run an individual system test:
 
+        $ make -C bin/tests/system/ check TESTS=<testname> V=1
+
+Or:
+
+        $ TESTS= make -e all check
         $ cd bin/tests/system
         $ sh run.sh <testname>