diff options
| author | JeremySorensen <jeremy.a.sorensen@gmail.com> | 2017-08-15 18:26:29 -0700 |
|---|---|---|
| committer | JeremySorensen <jeremy.a.sorensen@gmail.com> | 2017-08-15 18:39:58 -0700 |
| commit | c3b27d5a710a053a71bcee7e3a2a2c646eeef2af (patch) | |
| tree | 51725ca1ee6d18e463948102e001a9016ae184bd /config.toml.example | |
| parent | c774c9591959edc9aa098e5ff7fc4be2e4a12c09 (diff) | |
make ignore-git true by default when channel is dev
Diffstat (limited to 'config.toml.example')
| -rw-r--r-- | config.toml.example | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/config.toml.example b/config.toml.example index 962be2e6085..bae36ed925f 100644 --- a/config.toml.example +++ b/config.toml.example @@ -259,7 +259,10 @@ #codegen-tests = true # Flag indicating whether git info will be retrieved from .git automatically. -#ignore-git = false +# Having the git information can cause a lot of rebuilds during development. +# Note: If this attribute is not explicity set (e.g. it left commented out) it +# will default to true if channel = "dev", but will default to false otherwise. +#ignore-git = true # ============================================================================= # Options for specific targets |