From 5a88668d96cb04ae31d12c8365f3c76ac02b234e Mon Sep 17 00:00:00 2001 From: benlee0423 Date: Wed, 1 May 2024 08:53:24 -0700 Subject: [PATCH] move boost root --- docker/Dockerfile.ngen-deps | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docker/Dockerfile.ngen-deps b/docker/Dockerfile.ngen-deps index f0d308a..9e0be6b 100644 --- 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