From 524ff3027525832c85bf5411a6302578836b941a Mon Sep 17 00:00:00 2001
From: Damien George <damien.p.george@gmail.com>
Date: Wed, 31 Jan 2018 21:05:21 +1100
Subject: [PATCH] minimal/README: Update text to better describe what "make
 run" does.

---
 ports/minimal/README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ports/minimal/README.md b/ports/minimal/README.md
index 14b8c00a30..356fc4b3ef 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