diff --git a/scripts/env.sh b/scripts/env.sh index 5c05424d..d43bc1cd 100755 --- a/scripts/env.sh +++ b/scripts/env.sh @@ -25,8 +25,8 @@ pushd "${PROJECT_SOURCE_DIR}" PROJECT_GIT_REV=$(git rev-parse --short HEAD) -. "${PROJECT_SCRIPTS_DIR}/libraries.sh" . "${PROJECT_SCRIPTS_DIR}/versions.sh" +. "${PROJECT_SCRIPTS_DIR}/libraries.sh" for PROJECT_LIBRARY in "${PROJECT_LIBRARIES[@]}"; do ENABLE_NAME=PROJECT_ENABLE_${PROJECT_LIBRARY} diff --git a/support/3rd_party/boost_1_76_0.tar.gz b/support/3rd_party/boost_1_76_0.tar.gz deleted file mode 100644 index 07858666..00000000 Binary files a/support/3rd_party/boost_1_76_0.tar.gz and /dev/null differ diff --git a/support/3rd_party/boost_1_76_0.tar.gz.sha256 b/support/3rd_party/boost_1_76_0.tar.gz.sha256 deleted file mode 100644 index 0715cec6..00000000 --- a/support/3rd_party/boost_1_76_0.tar.gz.sha256 +++ /dev/null @@ -1 +0,0 @@ -7bd7ddceec1a1dfdcbdb3e609b60d01739c38390a5f956385a12f3122049f0ca *boost_1_76_0.tar.gz