diff options
| author | Andrei Karas <akaras@inbox.ru> | 2018-02-14 00:35:56 +0300 |
|---|---|---|
| committer | Andrei Karas <akaras@inbox.ru> | 2018-02-14 00:35:56 +0300 |
| commit | 4bd5a79e75da10d976a8d30fafdd3c5273442bab (patch) | |
| tree | 4c326171d963c86e982a5910b3d9ed579365d672 /tools | |
| parent | e826d53173e14cd27beb42da93708a7c06c3f9c4 (diff) | |
| download | plus-4bd5a79e75da10d976a8d30fafdd3c5273442bab.tar.gz plus-4bd5a79e75da10d976a8d30fafdd3c5273442bab.tar.bz2 plus-4bd5a79e75da10d976a8d30fafdd3c5273442bab.tar.xz plus-4bd5a79e75da10d976a8d30fafdd3c5273442bab.zip | |
Save any temporary logs in test builds into logs directory.
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/ci/scripts/init.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/tools/ci/scripts/init.sh b/tools/ci/scripts/init.sh index 4f95e4c23..84b50f00c 100755 --- a/tools/ci/scripts/init.sh +++ b/tools/ci/scripts/init.sh @@ -206,11 +206,11 @@ function run_make_check { echo "make -j${JOBS} V=0 check $*" make -j${JOBS} V=0 check $* 2>$ERRFILE export ERR=$? + cp src/*.log logs || true + cp src/manaplustests.trs logs || true + cp src/Makefile logs || true if [ "${ERR}" != 0 ]; then cat $ERRFILE - cp src/*.log logs - cp src/manaplustests.trs logs - cp src/Makefile logs cat src/manaplustests.log exit ${ERR} fi |