minimal/README: Update text to better describe what "make run" does.

pull/3572/merge
Damien George 2018-01-31 21:05:21 +11:00
rodzic 23f9f9495f
commit 524ff30275
1 zmienionych plików z 1 dodań i 1 usunięć

Wyświetl plik

@ -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