[Lua] Fixed a README.lua detail

diff --git a/README.lua b/README.lua
index 3636fd7..ef0d701 100644 (file)
--- 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
 
         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
 
 
 Step 6: sudo make install