make_parallel.sh 243 B

1234567891011121314151617181920
  1. #!/bin/bash
  2. set -e
  3. username=$1
  4. address=$2
  5. shift
  6. shift
  7. for f in "$@"
  8. do
  9. ./compile.sh $address $f $RANDOM $f PO --debug &
  10. done
  11. for job in `jobs -p`
  12. do
  13. wait $job || let "FAIL+=1"
  14. done
  15. ./link_and_load.sh $address $username "$@" --fast