From 36ee2f3ceccabdfed800c9169b57f2d2c24b0b63 Mon Sep 17 00:00:00 2001 From: Your Name Date: Wed, 28 May 2025 17:17:26 +1200 Subject: [PATCH] :-'Generic Commit' --- dropshell-tool/build.sh | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) create mode 100755 dropshell-tool/build.sh diff --git a/dropshell-tool/build.sh b/dropshell-tool/build.sh new file mode 100755 index 0000000..a9fafe2 --- /dev/null +++ b/dropshell-tool/build.sh @@ -0,0 +1,17 @@ +#!/bin/bash +set -euo pipefail + +SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" &> /dev/null && pwd )" + +DROPSHELL_BUILD_DIR="${SCRIPT_DIR}/../dropshell-build/dropshell-build.sh" +# make canonical path +DROPSHELL_BUILD_DIR=$(realpath "${DROPSHELL_BUILD_DIR}") + +# make sure the build script exists +if [ ! -f "${DROPSHELL_BUILD_DIR}" ]; then + echo "Error: dropshell-build.sh not found" + exit 1 +fi + +# run the build script +"${DROPSHELL_BUILD_DIR}" "${SCRIPT_DIR}"