Travis Cross bb90d52df7 don't use bootstrap.sh -j anywhere but devel-bootstrap.sh
We believe there may be a race condition in bootstrap.sh when run with
-j.  We know that running it without -j should be at least
deterministic (whether or not correct), so we'll go with that in
anticipation of releasing v1.2.
2012-05-08 18:57:00 +00:00
..