mirror of
https://github.com/ilyakooo0/urbit.git
synced 2024-12-15 18:12:47 +03:00
b3901ab42f
git-subtree-dir: pkg/arvo git-subtree-mainline:9c8f40bf6c
git-subtree-split:c20e2a185f
18 lines
299 B
Bash
18 lines
299 B
Bash
#!/bin/bash
|
|
set -euo pipefail
|
|
set -x
|
|
|
|
RESULT=$1
|
|
|
|
if [[ ${RESULT} -eq 0 ]]; then
|
|
exit 0
|
|
else
|
|
for i in $(find ./ -maxdepth 1 -name 'core*' -print)
|
|
do
|
|
gdb urbit core* -ex "thread apply all bt" -ex "set pagination 0" -batch
|
|
done
|
|
fi
|
|
|
|
echo "build failed with status code $RESULT"
|
|
exit $RESULT
|