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
53f1b51c1a
ci: generalize version number handling a bit
2012-05-08 16:41:34 +00:00
985fad9e32
prepare the tag script for the new release
2012-05-07 21:43:47 +00:00
20ac9757ba
ci: wrap sanity checks
2012-05-07 21:43:47 +00:00
075dc90bdb
ci: build orig tarball ourselves for debian
2012-05-06 05:33:35 +00:00
fbaf3099e2
ci: reformat alpha/beta/rc versions for debian
2012-05-06 04:51:15 +00:00
10203ee645
ci: remove bashisms and switch to #!/bin/sh
2012-05-06 04:28:15 +00:00
2769fc6585
ci: add support for more flexible version numbers
2012-05-06 04:28:15 +00:00
02c0637c0c
ci: factor out common code
2012-05-06 04:28:15 +00:00
Travis Cross