aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorBjörn Gustavsson <[email protected]>2017-03-08 07:28:31 +0100
committerGitHub <[email protected]>2017-03-08 07:28:31 +0100
commit0fe6927bf752226270b191282375a031768d8be3 (patch)
tree50dba1a5ce11c612c84a43b21868d7169a9c6568
parent266b7f805250acfc91d5242e5a73bd8dc51f8d47 (diff)
parent19ea615886979e65a691f2a2a394e5cd8057b39a (diff)
downloadotp-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-xscripts/build-otp25
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