Your Name 4b7ec3cacf
Some checks failed
dropshell-build / build (push) Has been cancelled
'Generic Commit'
2025-05-31 22:02:26 +12:00

22 lines
646 B
Bash
Executable File

#!/bin/bash
set -euo pipefail
SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" &> /dev/null && pwd )"
DROPSHELL_BUILD_DIR="${SCRIPT_DIR}/../dropshell-build/src"
# make canonical path
DROPSHELL_BUILD_DIR=$(realpath "${DROPSHELL_BUILD_DIR}")
# make sure the build script exists
if [ ! -f "${DROPSHELL_BUILD_DIR}/dropshell-build" ]; then
echo "Error: dropshell-build not found"
exit 1
fi
if [ ! -f "${DROPSHELL_BUILD_DIR}/install_dropshell_build_requirements" ]; then
echo "Error: install_dropshell_build_requirements not found"
exit 1
fi
# run the build script
"${DROPSHELL_BUILD_DIR}/dropshell-build" -m -r "${SCRIPT_DIR}"