Use the platform-provided FFmpeg on Raspberry Pi OS

This commit is contained in:
Cameron Gutman
2025-07-27 13:59:29 -05:00
parent f9d117857b
commit 018e869617
9 changed files with 22 additions and 23 deletions

View File

@@ -8,8 +8,6 @@ RUN /bin/bash -c /opt/scripts/install-base-deps.sh && \
apt-get clean -y && \
rm -rf /var/lib/apt/lists/*
COPY dav1d /opt/dav1d
COPY FFmpeg-rpi /opt/FFmpeg
COPY SDL2 /opt/SDL2
COPY SDL_ttf /opt/SDL_ttf