mirror of
https://gitee.com/mirrors_PX4/PX4-Autopilot.git
synced 2026-04-14 10:07:39 +08:00
0d18be5049
Several helper scripts assumes bash is available at /bin/bash. That breaks on systems such as NixOS, where bash is resolved from PATH instead of a fixed /bin location and causes failures like `bad interpreter` during `make format`, e.g., on my host machine: ```sh $ make format /PX4-Autopilot/Tools/astyle/check_code_style.sh: /PX4-Autopilot/Tools/astyle/fix_code_style.sh: /bin/bash: bad interpreter: No such file or directory ``` This change switches these entrypoints to `#!/usr/bin/env bash` so they locate bash properly. No functional changes intended. Signed-off-by: Onur Özkan <work@onurozkan.dev>
20 lines
611 B
Bash
Executable File
20 lines
611 B
Bash
Executable File
#!/usr/bin/env bash
|
|
# This script is meant to be used by the build_all.yml workflow in a github runner
|
|
# Please only modify if you know what you are doing
|
|
set -e
|
|
|
|
echo "### :clock1: Build Times" >> $GITHUB_STEP_SUMMARY
|
|
targets=$1
|
|
for target in ${targets//,/ }
|
|
do
|
|
echo "::group::Building: [${target}]"
|
|
start=$(date +%s)
|
|
make $target
|
|
stop=$(date +%s)
|
|
diff=$(($stop-$start))
|
|
build_time="$(($diff /60/60))h $(($diff /60))m $(($diff % 60))s elapsed"
|
|
echo -e "\033[0;32mBuild Time: [$build_time]"
|
|
echo "* **$target** - $build_time" >> $GITHUB_STEP_SUMMARY
|
|
echo "::endgroup::"
|
|
done
|