uml/run-test

   1 #!/bin/sh
   2 set -e
   3 set -x
   4
   5 uml="${0%/*}"/psusan-uml
   6
   7 if timeout --foreground 5 $uml-run true; then :
   8 else
   9         $uml-setup 2>&1 |ts >tmp/uml-setup &
  10         sleep 5
  11         timeout --foreground 5 $uml-run true ||:
  12         timeout --foreground 5 $uml-run true
  13 fi
  14
  15 echo hi