Merge branch 'maint'

* maint:
  Travis CI: Avoid that builds gets killed for inactivity

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