Update run system test doc

diff --git a/doc/dev/dev.md b/doc/dev/dev.md
index ba4f530721253004c6ea74267e44ce450e84959a..7dfef18cedeb50b954b84af1d93fbdb19f494938 100644 (file)
--- 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>