Ruben Di Battista ac7a17754f luarocks: Use make command instead of install (#12703) ... This way luarocks does not attempt to pull stuff from the internet. Fix #3909		2019-09-07 21:06:52 -05:00
..
spack	luarocks: Use make command instead of install (#12703)	2019-09-07 21:06:52 -05:00