diff --git a/boost/boost-1_81_0.tar.xz b/boost/boost-1_81_0.tar.xz new file mode 100644 index 0000000..22f30b1 Binary files /dev/null and b/boost/boost-1_81_0.tar.xz differ diff --git a/boost/build.sh b/boost/build.sh index 255ef93..c957822 100755 --- a/boost/build.sh +++ b/boost/build.sh @@ -1,5 +1,5 @@ #!/bin/bash - +set -e # This script is meant to make it easy to build a package using a Docker container. # Run this from the same directory as source directory @@ -7,7 +7,7 @@ THIS=$(readlink -e $0) USER_ID=`id -u` GROUP_ID=`id -g` -VERSION=1_79_0 +VERSION=1_81_0 PKG_NAME=boost mkdir -p $PKG_NAME-$VERSION diff --git a/boost/docker.sh b/boost/docker.sh index 76e6456..dac4ebc 100755 --- a/boost/docker.sh +++ b/boost/docker.sh @@ -1,4 +1,5 @@ #!/bin/bash +set -e THIS=$(readlink -e $0) PKG_NAME=$1