mirror of
https://github.com/urbit/shrub.git
synced 2024-12-01 06:35:32 +03:00
18 lines
299 B
Plaintext
18 lines
299 B
Plaintext
|
#!/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
|