move boost root

CIROH-UA · May 1, 2024 · 5a88668 · 5a88668
1 parent abb0486
commit 5a88668
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docker/Dockerfile.ngen-deps b/docker/Dockerfile.ngen-deps
@@ -183,7 +183,7 @@ RUN pip3 install --upgrade pip \
     # Also set up boost here, since we copied the download but only just installed bzip2 to work with it \
     && cd ${BOOST_ROOT} \
     && tar -xjf boost_${BOOST_VERSION//./_}.tar.bz2 \
-    && mv boost_${BOOST_VERSION//./_} boost \
+    && mv boost_${BOOST_VERSION//./_} ${BOOST_ROOT} \
     && rm boost_${BOOST_VERSION//./_}.tar.bz2 \
     && rm -rf /tmp/ngen-deps