for local builds from a Dockerfile, check and delete if src/build fol…

…der exists
precimed · May 21, 2024 · 974ee7d · 974ee7d
1 parent bc0fb6f
commit 974ee7d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -78,6 +78,7 @@ RUN cd boost_1_69_0 && ./bootstrap.sh --with-libraries=program_options,filesyste
 WORKDIR /tools/mixer
 COPY /src /tools/mixer/src
 COPY /precimed /tools/mixer/precimed
+RUN if [ -d "/tools/mixer/src/build" ]; then rm -Rf /tools/mixer/src/build; fi
 RUN mkdir src/build && cd src/build && cmake .. -DBoost_NO_BOOST_CMAKE=ON -DBOOST_ROOT=/tools/boost_1_69_0 && make -j16 bgmg
 ENV BGMG_SHARED_LIBRARY="/tools/mixer/src/build/lib/libbgmg.so"