Correct fetching boost

This commit is contained in:
Oleg Korshul
2019-10-15 09:53:05 +03:00
parent 8d014ee27a
commit cd0e152dbe

View File

@ -15,7 +15,7 @@ if [[ -f "$SCRIPTPATH/boost_1_58_0.7z" ]]
then
echo "boost already downloaded"
else
wget $BOOST_URL || curl -O $BOOST_URL
wget $BOOST_URL || curl -O -L $BOOST_URL
fi
if [ -d "$SCRIPTPATH/boost_1_58_0" ]; then