1 #!/bin/sh 2 3 umount /mnt # optional 4 ( 5 set -e -x 6 cd strace 7 ./configure 8 make 9 size strace 10 make check VERBOSE=1 && 11 cat tests/test-suite.log ||: 12 test "x$FTP_PORT" = x || 13 ftpput -P "$FTP_PORT" "$FTP_SERVER" strace 14 ) 2>&1 | tee strace_build.log 15 mount -o remount,ro /home 16 sync 17 sleep 1 18
