sleep_loop.sh changes

This commit is contained in:
edoapra 2017-11-22 21:14:28 -08:00
parent 6e5aa0a441
commit 96f669a243
No known key found for this signature in database
GPG key ID: 79CA3F28FF1B91CE
2 changed files with 3 additions and 2 deletions

View file

@ -33,7 +33,7 @@ before_script:
- sleep 1
script:
- cd $NWCHEM_TOP/src/tce && make 64_to_32 >& 6log &
- cd $NWCHEM_TOP/src && ./travis/sleep_loop.sh make -j3 >& make.log
- cd $NWCHEM_TOP/src && ./travis/sleep_loop.sh make -j3
- tail -2 $NWCHEM_TOP/src/6log
- tail -2 $NWCHEM_TOP/src/tce/6log
- tail -2 $NWCHEM_TOP/src/tools/build/config.log

View file

@ -1,5 +1,5 @@
#!/bin/bash -f
$* &
$* >& make.log &
pid=$!
echo "TT got pid" $pid
while :
@ -7,6 +7,7 @@ do
sleep 60
if kill -0 "$pid" 2>/dev/null; then
echo ' ==== ' `date` ' ==== '
tail -1 log
elif wait "$pid"; then
break #Abandon the loop.
fi