diff options
| author | Antonio Cunei <antonio.cunei@epfl.ch> | 2009-05-13 13:42:41 +0000 |
|---|---|---|
| committer | Antonio Cunei <antonio.cunei@epfl.ch> | 2009-05-13 13:42:41 +0000 |
| commit | 0df17b5003ef3d2546e2e87b926e287cd9723fff (patch) | |
| tree | 712a134aae952420d68002cb9f64ff7f3e389510 /pull-binary-libs.sh | |
| parent | 1e3c53fc745b6a46b2b329cce615c701bd7cec30 (diff) | |
| download | scala-0df17b5003ef3d2546e2e87b926e287cd9723fff.tar.gz scala-0df17b5003ef3d2546e2e87b926e287cd9723fff.tar.bz2 scala-0df17b5003ef3d2546e2e87b926e287cd9723fff.zip | |
Reinstated old, trusted starr from r17713.
Modified version number detection, so that
until we have a new starr both 4 and 5 are
acceptable (without warnings).
Restored stability test so that it does
complain if differences are found; however,
a failed stability test is still non-fatal
for the time being.
Diffstat (limited to 'pull-binary-libs.sh')
0 files changed, 0 insertions, 0 deletions