public/getpkg
2
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

:-'Generic Commit'

Browse Source
This commit is contained in:
Your Name 2025-05-28 17:17:26 +12:00
parent b361e009a7
commit 36ee2f3cec
1 changed files with 17 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
dropshell-tool/build.sh Executable file
View File

@ -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}"