diff options
| author | Damien George | 2018-01-31 21:05:21 +1100 |
|---|---|---|
| committer | Damien George | 2018-01-31 21:05:21 +1100 |
| commit | 524ff3027525832c85bf5411a6302578836b941a (patch) | |
| tree | fcf6ae14e0e5c31225daf4624e231ec9656a62b6 /ports/minimal | |
| parent | 23f9f9495f0b64e70470b17ba38cf1f2148724bd (diff) | |
minimal/README: Update text to better describe what "make run" does.
Diffstat (limited to 'ports/minimal')
| -rw-r--r-- | ports/minimal/README.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ports/minimal/README.md b/ports/minimal/README.md index 14b8c00a3..356fc4b3e 100644 --- a/ports/minimal/README.md +++ b/ports/minimal/README.md @@ -9,7 +9,7 @@ By default the port will be built for the host machine: $ make -To run a small test script do: +To run the executable and get a basic working REPL do: $ make run |