diff options
author | Paul Phillips <paulp@improving.org> | 2011-12-05 07:12:31 -0800 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2011-12-05 07:18:37 -0800 |
commit | 340bb43e884319824c9f9c6234f0a17fd3b1bfe3 (patch) | |
tree | 5f175573fbbf1d449649cdcd575823ee21247faa /tools/strapcp | |
parent | a289465c70630719cbd3a74edf5502a156ef83c4 (diff) | |
download | scala-340bb43e884319824c9f9c6234f0a17fd3b1bfe3.tar.gz scala-340bb43e884319824c9f9c6234f0a17fd3b1bfe3.tar.bz2 scala-340bb43e884319824c9f9c6234f0a17fd3b1bfe3.zip |
Tweaks to get-scala-revision.
Reference to git head is supposed to be HEAD, not head.
Also apparently [[ <test> ]] is a bashism so it's [ <test> ].
Made name generation robust against the absence of the dev
tag; it will generate a similar name even if it's not there,
minus the part it can't determine without it.
Diffstat (limited to 'tools/strapcp')
0 files changed, 0 insertions, 0 deletions