From ab673b5785990d1365d0d17ddc37b971f1874f44 Mon Sep 17 00:00:00 2001
From: Christian Heinrich <franz-christian.heinrich@inria.fr>
Date: Fri, 24 Jul 2015 12:54:35 +0200
Subject: [PATCH] [Lua] Fixed a README.lua detail

---
 README.lua | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.lua b/README.lua
index 3636fd7334..ef0d701ad5 100644
--- a/README.lua
+++ b/README.lua
@@ -19,7 +19,7 @@ Step 4: Apply the patch in "<simgrid-source-dir>/contrib/lua/lualib.patch" to th
         cd /tmp/lua-5.3.1/
         patch -p1 < lualib.patch
 
-Step 5: make
+Step 5: make <platform>, for instance "make linux"
 
 Step 6: sudo make install
 
-- 
2.20.1