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')