Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.
Sign upAdd a `--dev` option to `mach build` and require either `--dev` or `--release` #5965
Conversation
highfive
commented
May 6, 2015
|
Thanks for the pull request, and welcome! The Servo team is excited to review your changes, and you should hear from @jdm (or someone else) soon. |
|
python/servo/build_commands.py, line 73 [r1] (raw file): python/servo/build_commands.py, line 102 [r1] (raw file): Nit: Python style convention is to omit the outer parentheses, and add a space after python/servo/build_commands.py, line 103 [r1] (raw file): The error should explain exactly what to do, and (briefly) what the difference is. For example: "Please specify either --debug for a development build or --release for an optimized build." python/servo/build_commands.py, line 162 [r1] (raw file): servobuild.example, line 27 [r1] (raw file): Comments from the review on Reviewable.io |
|
Thanks! I left a few comments on Reviewable, above. |
|
@mbrubeck Could you please review the new full request I have amended the changes as you have suggested |
|
Reviewed files:
python/servo/build_commands.py, line 73 [r2] (raw file): Comments from the review on Reviewable.io |
|
Reviewed files:
python/servo/build_commands.py, line 103 [r1] (raw file): Comments from the review on Reviewable.io |
|
@jinankjain Thanks! That addresses most of the issues. There are still a couple of issues that haven't been addressed—in particular, reading the default from the config file. Also, I added one more issue that I missed previously. See the comments on Reviewable for details. |
|
@mbrubeck I did not get the thing with config file what exactly needs to be done |
|
@mbrubeck I had done that patch with --debug to --dev you could review that in my new PR |
|
@jinankjain: To read an option from the If both The |
f396f4e
to
a7a12e8
|
@mbrubeck you could review the new PR |
|
servobuild.example, line 28 [r3] (raw file): Comments from the review on Reviewable.io |
|
Reviewed files:
Comments from the review on Reviewable.io |
|
Ya I fixed that up |
|
Everything looks great. Thank you! Note: We will need to deploy a change to our test infrastructure before we can merge this. It'll be a little tricky because the two chances need to land at the same time. I'll work on this next week. See servo/saltfs#28 for details. |
|
Any updates @mbrubeck ? |
This is part of servo#5965. It needs to land before the rest of that PR, so we can land servo/saltfs#28 without breaking automated builds for other PRs.
|
This can land after #6023 and servo/saltfs#28 are merged and deployed. (It will need to be rebased, since part of it was split into #6023.) |
This is part of #5965. It needs to land before the rest of that PR, so we can land servo/saltfs#28 without breaking automated builds for other PRs. r? @larsbergstrom <!-- Reviewable:start --> [<img src="https://reviewable.io/review_button.png" height=40 alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/6023) <!-- Reviewable:end -->
This is part of #5965. It needs to land before the rest of that PR, so we can land servo/saltfs#28 without breaking automated builds for other PRs. r? @larsbergstrom <!-- Reviewable:start --> [<img src="https://reviewable.io/review_button.png" height=40 alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/6023) <!-- Reviewable:end -->
|
|
|
What are merge conflicts should I have to look into it @mbrubeck ? |
|
I pushed the changes to add the |
|
Ya you could rebase and push it :) |
|
Rebased and moved to #6038. |
Require either `--dev` or `--release`, unless a default build.mode is set in `.servobuild`. This is @jinankjain's patch from #5965, rebased onto master. It is already reviewed, and only waiting for servo/saltfs#28 to be deployed. <!-- Reviewable:start --> [<img src="https://reviewable.io/review_button.png" height=40 alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/6038) <!-- Reviewable:end -->
|
This was merged in the other PR. Thank you @jinankjain! |
jinankjain commentedMay 6, 2015