diff options
Diffstat (limited to 'docker')
| -rwxr-xr-x | docker/build-inner.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docker/build-inner.sh b/docker/build-inner.sh index 01a644d..1bc33e1 100755 --- a/docker/build-inner.sh +++ b/docker/build-inner.sh @@ -93,6 +93,7 @@ if [ -d "build/src/src/stylesheets" ]; then echo "Bundled stylesheets" fi + # ── 7z runtime ── SO7="build/src/src/dlls/7z.so" if [ -f "${SO7}" ]; then |