make_parallel.sh 201 B

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