Save identifiers after installing Lua before installing LuaRocks
Fixes errors when reinstalling LuaRocks if the first attempt failed.
This commit is contained in:
parent
d04f34c71a
commit
d13e49b0cf
@ -1641,6 +1641,10 @@ def main(argv=None):
|
|||||||
identifiers_changed = LuaJIT(opts.luajit).update_identifiers(identifiers)
|
identifiers_changed = LuaJIT(opts.luajit).update_identifiers(identifiers)
|
||||||
os.chdir(start_dir)
|
os.chdir(start_dir)
|
||||||
|
|
||||||
|
if identifiers_changed:
|
||||||
|
save_installed_identifiers(identifiers)
|
||||||
|
identifiers_changed = False
|
||||||
|
|
||||||
if opts.luarocks:
|
if opts.luarocks:
|
||||||
if LuaRocks(opts.luarocks).update_identifiers(identifiers):
|
if LuaRocks(opts.luarocks).update_identifiers(identifiers):
|
||||||
identifiers_changed = True
|
identifiers_changed = True
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user