diff options
| author | Michael Forney <mforney@mforney.org> | 2018-11-12 12:13:37 -0800 |
|---|---|---|
| committer | Michael Forney <mforney@mforney.org> | 2018-11-12 12:14:21 -0800 |
| commit | bcd889d2c9969a1b6cb538a763f4813d1891446f (patch) | |
| tree | 0c56b2bd34347c5d5e38a1ce832fc89f13c22eff /rules.ninja | |
| parent | debf553c14c519d4ca1851af0227ffe694ddc4f6 (diff) | |
Call lua as lua5.2 to make sure we get the right version
Diffstat (limited to 'rules.ninja')
| -rw-r--r-- | rules.ninja | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rules.ninja b/rules.ninja index d6178557..c8caf49c 100644 --- a/rules.ninja +++ b/rules.ninja @@ -1,5 +1,5 @@ rule gen - command = lua setup.lua $dir + command = lua5.2 setup.lua $dir generator = 1 # toolchain |