Skip to content

Commit

Permalink
minimal/README: Update text to better describe what "make run" does.
Browse files Browse the repository at this point in the history
  • Loading branch information
dpgeorge committed Jan 31, 2018
1 parent 23f9f94 commit 524ff30
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion ports/minimal/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -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

Expand Down

0 comments on commit 524ff30

Please sign in to comment.