From 2c792d3abedc04b16ab58e2c395bef3cc7dc27d6 Mon Sep 17 00:00:00 2001 From: Seb M'Caw Date: Thu, 27 Mar 2025 12:15:31 +0000 Subject: [PATCH] dev: override any existing `awsres` in `embedder.sh` (#1924) --- support/embedder/embedder.sh | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/support/embedder/embedder.sh b/support/embedder/embedder.sh index b56f080f..2b4a7fa1 100755 --- a/support/embedder/embedder.sh +++ b/support/embedder/embedder.sh @@ -42,7 +42,7 @@ generated=$base/src/templates # Build awsres from AWS only if awsres is not yet available here or in path -if [ ! -f awsres ] && ! command -v awsres &> /dev/null; then +if [ ! -f awsres ]; then echo "Building awsres from AWS..." @@ -50,6 +50,7 @@ if [ ! -f awsres ] && ! command -v awsres &> /dev/null; then tmp=$(mktemp -d) pushd "$tmp" + unset GNATCOLL_ALIRE_PREFIX alr get --build aws^24 find . -name awsres -exec cp {} "$workdir" \; @@ -60,7 +61,7 @@ fi # Actually generate the embedded resources -export PATH+=":$PWD" +export PATH="$PWD:$PATH" # Clean up old resources rm -rf $generated -- 2.39.5