aboutsummaryrefslogtreecommitdiffstats
path: root/python/servo/devenv_commands.py
diff options
context:
space:
mode:
authorbors-servo <infra@servo.org>2023-02-17 14:14:17 +0100
committerGitHub <noreply@github.com>2023-02-17 14:14:17 +0100
commitf7e88665c680532d5b6879737d4115434cf29047 (patch)
tree9f210749c73db2459c956bb4dc3d473d9bcccbb8 /python/servo/devenv_commands.py
parent8e300ca5bd6ca159992750ca3f5b281123c045f1 (diff)
parent73bd128d44edad27d991918b5e145288031a864f (diff)
downloadservo-f7e88665c680532d5b6879737d4115434cf29047.tar.gz
servo-f7e88665c680532d5b6879737d4115434cf29047.zip
Auto merge of #29375 - sagudev:wup, r=jdm
Warning instead of exception on unsupported Ubuntu For someone who is always using latest stable Ubuntu version it is pretty annoying to change the script every time, so issuing a warning instead of error would still allow users on unsupported version to continue bootstrapping. --- <!-- Thank you for contributing to Servo! Please replace each `[ ]` by `[X]` when the step is complete, and replace `___` with appropriate data: --> - [X] `./mach build -d` does not report any errors - [X] `./mach test-tidy` does not report any errors - [ ] These changes fix #___ (GitHub issue number if applicable) <!-- Either: --> - [ ] There are tests for these changes OR - [x] These changes do not require tests because changes are in bootstrap script <!-- Also, please make sure that "Allow edits from maintainers" checkbox is checked, so that we can help you if you get stuck somewhere along the way.--> <!-- Pull requests that do not address these steps are welcome, but they will require additional verification as part of the review process. -->
Diffstat (limited to 'python/servo/devenv_commands.py')
0 files changed, 0 insertions, 0 deletions