From 50285619334e19b3c306a51032eb3c1671948e8a Mon Sep 17 00:00:00 2001 From: lgvz Date: Mon, 22 Jan 2018 16:22:58 +0200 Subject: [PATCH] Fix ci/bootstrap_boost.sh to rm what's intended (#519) Also add -p for mkdir for when first run of the script fails. --- ci/bootstrap_boost.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/ci/bootstrap_boost.sh b/ci/bootstrap_boost.sh index dc7dbf50..7f3b8521 100755 --- a/ci/bootstrap_boost.sh +++ b/ci/bootstrap_boost.sh @@ -9,7 +9,7 @@ tar xf ${BOOST_BASENAME}.tar.gz cd ${BOOST_BASENAME} ./bootstrap.sh ./b2 --prefix=${BOOST_ROOT} link=static install +cd .. rm -rf ${BOOST_BASENAME} rm -f ${BOOST_BASENAME}.tar.gz -cd .. -mkdir app +mkdir -p app