diff options
Diffstat (limited to 'doc/src/guide')
| -rw-r--r-- | doc/src/guide/shell.asciidoc | 4 |
1 files changed, 4 insertions, 0 deletions
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 |