commit | af70905246acfad225904b64d027e5b01c7b10eb | [log] [tgz] |
---|---|---|
author | Roberto Ierusalimschy <roberto@inf.puc-rio.br> | Mon Jun 18 09:08:10 2018 -0300 |
committer | Roberto Ierusalimschy <roberto@inf.puc-rio.br> | Mon Jun 18 09:08:10 2018 -0300 |
tree | b6d62db411706f5317e1269aff90e05399cd51b8 | |
parent | b95e46621873cfb460e1d11dcd153914d5d69f86 [diff] |
no need to check whether libraries and host use the same kernel; Lua should work correctly with several copies of the kernel