From dfe090d1b44771019a59cf79a14e0957d8d5fc16 Mon Sep 17 00:00:00 2001 From: Krzysztof Jurewicz Date: Wed, 30 May 2018 21:01:33 +0200 Subject: Add $(TEST_DIR) to the default value of SHELL_PATHS --- doc/src/guide/shell.asciidoc | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'doc') diff --git a/doc/src/guide/shell.asciidoc b/doc/src/guide/shell.asciidoc index a527253..5484b9d 100644 --- a/doc/src/guide/shell.asciidoc +++ b/doc/src/guide/shell.asciidoc @@ -44,3 +44,7 @@ $ make shell The shell can be stopped as usual with a double Ctrl+C or the command `q().`. + +Note that the `shell` target does not build the application. To do it, +use either the `app` target or, if you want to include also test +modules, the `test-build` target. \ No newline at end of file -- cgit v1.2.3