0
0
mirror of https://github.com/mongodb/mongo.git synced 2024-11-30 17:10:48 +01:00

Tweak makedist.py to be more careful about git checkouts.

This commit is contained in:
Richard Kreuter 2010-05-28 15:12:41 -04:00
parent 9153da3c9f
commit c9f99b7ef1

View File

@ -642,7 +642,7 @@ class ScriptFile(object):
specs=self.mongo_version_spec.split(',')
for spec in specs:
(version, pkg_name_suffix, pkg_version) = parse_mongo_version_spec(spec)
mongo_version = version if version[0] != 'n' else 'HEAD'
mongo_version = version if version[0] != 'n' else ('HEAD' if version == 'nlatest' else 'r'+version[1:]) #'HEAD'
mongo_pub_version = version.lstrip('n') if version[0] in 'n' else 'latest'
pkg_name_suffix = pkg_name_suffix if pkg_name_suffix else ''
pkg_version = pkg_version