From b496fbb6ea287df898faabe5d13086e1408e0c6d Mon Sep 17 00:00:00 2001 From: William Grzybowski Date: Tue, 23 Jul 2019 09:20:29 -0300 Subject: [PATCH] Copy LUA bootloader to installer --- build/tools/create-iso.py | 1 + 1 file changed, 1 insertion(+) diff --git a/build/tools/create-iso.py b/build/tools/create-iso.py index b02ba93..3a18306 100755 --- a/build/tools/create-iso.py +++ b/build/tools/create-iso.py @@ -378,6 +378,7 @@ def make_iso_image(): sh('cp ${WORLD_DESTDIR}/boot/device.hints ${ISO_DESTDIR}/boot/device.hints') sh('cp ${WORLD_DESTDIR}/boot/*.4th ${ISO_DESTDIR}/boot') sh('cp ${WORLD_DESTDIR}/boot/loader.rc ${ISO_DESTDIR}/boot/loader.rc') + sh('cp -r ${WORLD_DESTDIR}/boot/lua ${ISO_DESTDIR}/boot/') sh('cp ${WORLD_DESTDIR}/boot/menu.rc ${ISO_DESTDIR}/boot/menu.rc') sh('cp -R ${WORLD_DESTDIR}/boot/defaults ${ISO_DESTDIR}/boot/defaults')