chore: remove useless EDANT_WATCHER_VERSION Docker ARG

This commit is contained in:
Kévin Dunglas
2024-11-27 11:03:57 +01:00
parent fd49eade1a
commit 8a199bb4d7
3 changed files with 2 additions and 10 deletions
+1 -2
View File
@@ -65,9 +65,8 @@ RUN git clone --branch=PHP-8.4 https://github.com/php/php-src.git . && \
php --version
# Install e-dant/watcher (necessary for file watching)
ARG EDANT_WATCHER_VERSION=release
WORKDIR /usr/local/src/watcher
RUN git clone --branch=$EDANT_WATCHER_VERSION https://github.com/e-dant/watcher . && \
RUN git clone https://github.com/e-dant/watcher . && \
cmake -S . -B build -DCMAKE_BUILD_TYPE=Release && \
cmake --build build/ && \
cmake --install build