Run jobs with 'set -e' so that they exit on error.
[whenjobs.git] / tools / tutorial.ml
2012-02-18 Richard W.M. Joneswhenjobs initial version.