Skip to content

Partest dotty non-bootstrapped. #1024

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Jan 14, 2016

Conversation

DarkDimius
Copy link
Contributor

Needs to go in before
scala/scala-jenkins-infra#152
is deployed

@@ -127,7 +127,8 @@ object DottyBuild extends Build {
("-DpartestParentID=" + pid) :: tuning ::: agentOptions ::: travis_build ::: fullpath
}
) ++ addCommandAlias("partest", ";test:package;package;test:runMain dotc.build;lockPartestFile;test:test;runPartestRunner") ++
addCommandAlias("partest-only", ";test:package;package;test:runMain dotc.build;lockPartestFile;test:test-only dotc.tests;runPartestRunner")
addCommandAlias("partest-only", ";test:package;package;test:runMain dotc.build;lockPartestFile;test:test-only dotc.tests;runPartestRunner") ++
addCommandAlias("partest-only-no-boostrap", ";test:package;package; lockPartestFile;test:test-only dotc.tests;runPartestRunner")
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

boostrap -> bootstrap (here and in the other file too)

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks for noticing!

@DarkDimius DarkDimius force-pushed the partest-non-bootstrapped branch from c8e9879 to c059815 Compare January 13, 2016 16:04
@smarter
Copy link
Member

smarter commented Jan 13, 2016

LGTM

DarkDimius added a commit that referenced this pull request Jan 14, 2016
@DarkDimius DarkDimius merged commit da661c8 into scala:master Jan 14, 2016
@allanrenucci allanrenucci deleted the partest-non-bootstrapped branch December 14, 2017 19:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants