diff options
Diffstat (limited to 'docker')
| -rwxr-xr-x | docker/build-inner.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/docker/build-inner.sh b/docker/build-inner.sh index efbb3d7..a96cf98 100755 --- a/docker/build-inner.sh +++ b/docker/build-inner.sh @@ -108,6 +108,11 @@ for d in basic_games data libs dlls; do done rm -f "${OUT_DIR}/plugins/FNIS"*.py +# Source-tree Python plugins (OMOD installer, etc.). +for f in /src/src/plugins/*.py; do + [ -f "${f}" ] && cp -f "${f}" "${OUT_DIR}/plugins/" +done + # ── 7z runtime ── SO7="build/src/src/dlls/7z.so" if [ -f "${SO7}" ]; then |