diff options
author | Björn Gustavsson <[email protected]> | 2017-03-08 07:28:31 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2017-03-08 07:28:31 +0100 |
commit | 0fe6927bf752226270b191282375a031768d8be3 (patch) | |
tree | 50dba1a5ce11c612c84a43b21868d7169a9c6568 | |
parent | 266b7f805250acfc91d5242e5a73bd8dc51f8d47 (diff) | |
parent | 19ea615886979e65a691f2a2a394e5cd8057b39a (diff) | |
download | otp-0fe6927bf752226270b191282375a031768d8be3.tar.gz otp-0fe6927bf752226270b191282375a031768d8be3.tar.bz2 otp-0fe6927bf752226270b191282375a031768d8be3.zip |
Merge pull request #1366 from bjorng/bjorn/travis/print-progress-dots
Travis CI: Avoid that builds gets killed for inactivity
-rwxr-xr-x | scripts/build-otp | 25 |
1 files changed, 22 insertions, 3 deletions
diff --git a/scripts/build-otp b/scripts/build-otp index 388fa8c276..da09fb8045 100755 --- a/scripts/build-otp +++ b/scripts/build-otp @@ -1,12 +1,31 @@ #!/bin/bash +function progress { + local file=$1 + ls=$(ls -l $file) + while [ true ]; do + sleep 10 + new_ls=$(ls -l $file) + if [ "$new_ls" != "$ls" ]; then + echo -n "." + fi + ls="$new_ls" + done +} + function do_and_log { log="scripts/latest-log.$$" - echo -n "$1... " + echo "" >$log + echo -n "$1..." + (progress $log) & + pid=$! + disown if ./otp_build $2 $3 >$log 2>&1; then - echo "done." + kill $pid >/dev/null 2>&1 + echo " done." else - echo "failed." + kill $pid >/dev/null 2>&1 + echo " failed." tail -n 200 $log echo "*** Failed ***" exit 1 |