Delete old code #55

Merged
davidgmbb merged 12 commits from delete-old-code into main 2025-06-27 21:00:53 +00:00
2 changed files with 6 additions and 5 deletions
Showing only changes of commit 279036435a - Show all commits

View File

@ -1,4 +1,5 @@
set -eux set -eux
mkdir -p $HOME/bloat-buster-artifacts/releases/main/
if [[ -n "${BUILD_DEBUG:-}" ]]; then if [[ -n "${BUILD_DEBUG:-}" ]]; then
cp $HOME/bloat-buster-artifacts/releases/$(git rev-parse --abbrev-ref HEAD)/$(git rev-parse HEAD)/compiler_generic_debug $HOME/bloat-buster-artifacts/releases/main/ cp $HOME/bloat-buster-artifacts/releases/$(git rev-parse --abbrev-ref HEAD)/$(git rev-parse HEAD)/compiler_generic_debug $HOME/bloat-buster-artifacts/releases/main/
fi fi

View File

@ -2,9 +2,9 @@
set -eux set -eux
if [[ -n "${BUILD_DEBUG:-}" ]]; then if [[ -n "${BUILD_DEBUG:-}" ]]; then
export BUILD_DEBUG export BUILD_DEBUG
CMAKE_BUILD_TYPE=Debug ./reproduce.sh CMAKE_BUILD_TYPE=Debug ci/reproduce.sh
fi fi
CMAKE_BUILD_TYPE=Release ./reproduce.sh CMAKE_BUILD_TYPE=Release ci/reproduce.sh
CMAKE_BUILD_TYPE=Release-assertions ./reproduce.sh CMAKE_BUILD_TYPE=Release-assertions ci/reproduce.sh
./install.sh ci/install.sh
./release.sh ci/release.sh