diff options
| author | Jürg Billeter <j@bitron.ch> | 2017-07-07 07:46:42 +0200 |
|---|---|---|
| committer | Jürg Billeter <j@bitron.ch> | 2017-07-14 14:13:51 +0200 |
| commit | 3f065aa70d9d5bb4088ef43b0552e1190764a54e (patch) | |
| tree | d304f14a42a8842aa411c8fdf7d473dd671d82f1 /buildstream/data | |
| parent | ebfdb5905659f512ae773b4bf52cff29280fc746 (diff) | |
| download | buildstream-3f065aa70d9d5bb4088ef43b0552e1190764a54e.tar.gz | |
context.py: Add strict_build_plan option
Diffstat (limited to 'buildstream/data')
| -rw-r--r-- | buildstream/data/userconfig.yaml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/buildstream/data/userconfig.yaml b/buildstream/data/userconfig.yaml index a27ba384f..f3f794bf8 100644 --- a/buildstream/data/userconfig.yaml +++ b/buildstream/data/userconfig.yaml @@ -10,6 +10,9 @@ # paths. # +# Whether elements must be rebuilt when their dependencies have changed +strict: True + # Location to store sources sourcedir: ${XDG_CACHE_HOME}/buildstream/sources |