# these uploads should go to a different repo:
DPUT_OPTIONS = DPUT_OPTIONS_DEV
else:
- if GIT_REPO_PATH.startswith('/srv/git/dev/'):
- if GIT_BRANCH_NAME == 'pre-staging':
- version = '%s~develop%s+%s+%s' %(version, daily_date, BUILD_NUMBER, current_commit[0:7])
- changelog_distro = 'pre-staging'
- else:
- # use shorter date because we can
- daily_date = datetime.datetime.now().strftime('%Y%m%d')
- version = '%s~alpha%s+%s+%s' %(version, daily_date, BUILD_NUMBER, current_commit[0:7])
- changelog_distro = 'unstable'
- else:
- version = '%s~develop%s+%s+%s' %(version, daily_date, BUILD_NUMBER, current_commit[0:7])
- changelog_distro = 'pre-staging'
+ #FIXME: enable this once Florian acks.
+ #if GIT_REPO_PATH.startswith('/srv/git/dev/'):
+ # if GIT_BRANCH_NAME == 'pre-staging':
+ # version = '%s~develop%s+%s+%s' %(version, daily_date, BUILD_NUMBER, current_commit[0:7])
+ # changelog_distro = 'pre-staging'
+ # else:
+ # # use shorter date because we can
+ # daily_date = datetime.datetime.now().strftime('%Y%m%d')
+ # version = '%s~alpha%s+%s+%s' %(version, daily_date, BUILD_NUMBER, current_commit[0:7])
+ # changelog_distro = 'unstable'
+ #else:
+ version = '%s~develop%s+%s+%s' %(version, daily_date, BUILD_NUMBER, current_commit[0:7])
+ changelog_distro = 'pre-staging'
new_log = 'Generated by jenkins build of %s' % current_commit