Merge pull request #1056 from urbit/unbreak-ci-deploy

[CI] fix deploy phase, move coredump backtrace to a script
This commit is contained in:
Joe Bryan 2018-11-13 13:15:10 -05:00 committed by GitHub
commit b93fccf82b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 27 additions and 14 deletions

View File

@ -2,20 +2,6 @@ language: node_js
node_js: node_js:
- 4 - 4
script:
- meson . ./build --buildtype=debugoptimized -Dgc=true -Dprof=true
- cd ./build
- ninja
- sudo ninja install
- cd ../.travis
- ulimit -c unlimited -S
- npm install
# || true so we continue
- npm run -s test || RESULT=$?
- 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
# Uncomment me if this gets annoying # Uncomment me if this gets annoying
# #
# notifications: # notifications:
@ -34,6 +20,16 @@ install:
- git checkout $(cat ../.travis/pin-arvo-commit.txt) - git checkout $(cat ../.travis/pin-arvo-commit.txt)
- cd .. - cd ..
script:
- meson . ./build --buildtype=debugoptimized -Dgc=true -Dprof=true
- cd ./build
- ninja
- sudo ninja install
- cd ../.travis
- npm install
- ulimit -c unlimited -S
- npm run -s test; bash print-core-backtrace.sh $?
addons: addons:
apt: apt:
packages: packages:

View File

@ -0,0 +1,17 @@
#!/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