Skip to content

Commit

Permalink
[main] merge issue952
Browse files Browse the repository at this point in the history
  • Loading branch information
FlorianPommerening committed Jul 9, 2020
2 parents 2548cb4 + 92b3021 commit e6c2ede
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions misc/buildbot/buildbot-exp.py
Expand Up @@ -116,7 +116,7 @@

def parse_custom_args():
ARGPARSER.description = USAGE
ARGPARSER.add_argument('--rev', dest='revision', default='default',
ARGPARSER.add_argument('--rev', dest='revision', default='main',
help='Fast Downward revision or "baseline".')
ARGPARSER.add_argument('--test', choices=['nightly', 'weekly'], default='nightly',
help='Select whether "nightly" or "weekly" tests should be run.')
Expand Down Expand Up @@ -150,7 +150,7 @@ def main():
rev = BASELINE
name = 'baseline'
else:
rev = cached_revision.get_global_rev(REPO, vcs=cached_revision.MERCURIAL, rev=args.revision)
rev = cached_revision.get_global_rev(REPO, vcs=cached_revision.GIT, rev=args.revision)
name = rev

exp = FastDownwardExperiment(path=get_exp_dir(name, args.test), revision_cache=REVISION_CACHE)
Expand Down

0 comments on commit e6c2ede

Please sign in to comment.