From: Christian Heinrich <franz-christian.heinrich@inria.fr>
Date: Fri, 24 Jul 2015 10:54:35 +0000 (+0200)
Subject: [Lua] Fixed a README.lua detail
X-Git-Tag: v3_13~1644^2~10
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/ab673b5785990d1365d0d17ddc37b971f1874f44

[Lua] Fixed a README.lua detail
---

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