diff options
| author | Matt Brubeck <mbrubeck@limpet.net> | 2015-05-12 11:32:08 -0700 |
|---|---|---|
| committer | Matt Brubeck <mbrubeck@limpet.net> | 2015-05-12 11:32:08 -0700 |
| commit | 2dc048116e7d80f08abc7fb65ac20de671b17c1f (patch) | |
| tree | 1782d027fc47ea73ff41a829ccce36222ddf5ef7 /python/servo/devenv_commands.py | |
| parent | 49aed6555dbc008c1a378c5cbb303f5467232b6b (diff) | |
| download | servo-2dc048116e7d80f08abc7fb65ac20de671b17c1f.tar.gz servo-2dc048116e7d80f08abc7fb65ac20de671b17c1f.zip | |
Add a no-op --dev option to the mach build command.
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.
Diffstat (limited to 'python/servo/devenv_commands.py')
0 files changed, 0 insertions, 0 deletions