Skip to content

Commit 2ed6510

Browse files
authored
Update build.sh
1 parent 498ec8e commit 2ed6510

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

scripts/build.sh

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -211,7 +211,7 @@ if [[ ! -f $BOOST_ARCHIVE_FILE ]]; then
211211
link=${linktemplate/FILENAME/"$BOOST_ARCHIVE_FILE"}
212212
echo "downloading from $link ..."
213213

214-
curl -o "$BOOST_ARCHIVE_FILE" "$link"
214+
curl -o "$BOOST_ARCHIVE_FILE" -L "$link"
215215

216216
# Check if the download was successful
217217
if [ $? -eq 0 ]; then

0 commit comments

Comments
 (0)