diff options
| author | Jinank Jain <ug201210017@iitj.ac.in> | 2015-05-06 15:33:28 +0200 |
|---|---|---|
| committer | Matt Brubeck <mbrubeck@limpet.net> | 2015-05-13 09:25:43 -0700 |
| commit | c98d55fe28596b2ea62a8b3dcc87ec306143cff2 (patch) | |
| tree | 5412a47b567ecaff8298b98dd76addc203cb0acd /servobuild.example | |
| parent | b3b9deafa7ed87bd0649849f3aa729f21c4ff45d (diff) | |
| download | servo-c98d55fe28596b2ea62a8b3dcc87ec306143cff2.tar.gz servo-c98d55fe28596b2ea62a8b3dcc87ec306143cff2.zip | |
Add --dev option to mach build
Require either --dev or --release, unless a default build.mode is set
in .servobuild. Fixes #5933.
Diffstat (limited to 'servobuild.example')
| -rw-r--r-- | servobuild.example | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/servobuild.example b/servobuild.example index 1396c73126e..a29ec9aaf27 100644 --- a/servobuild.example +++ b/servobuild.example @@ -23,6 +23,9 @@ system-cargo = false cargo-root = "/path/to/cargo" [build] +# Set "mode = dev" or use `mach build --dev` to build the project with warning. +# or Set "mode = release" or use `mach build --release` for optimized build. +mode = "dev" # Set "android = true" or use `mach build --android` to build the Android app. android = false # Set "debug-mozjs" or use `mach build --debug-mozjs` to build a debug spidermonkey. |