Build with dev flag by default during development
This commit is contained in:
parent
3439870ad5
commit
77fd8333c6
1 changed files with 3 additions and 1 deletions
|
@ -22,7 +22,9 @@ extra-deps:
|
||||||
- unordered-containers-0.2.6.0
|
- unordered-containers-0.2.6.0
|
||||||
|
|
||||||
# Override default flag values for local packages and extra-deps
|
# Override default flag values for local packages and extra-deps
|
||||||
flags: {}
|
flags:
|
||||||
|
vervis:
|
||||||
|
dev: true
|
||||||
|
|
||||||
# Extra package databases containing global packages
|
# Extra package databases containing global packages
|
||||||
extra-package-dbs: []
|
extra-package-dbs: []
|
||||||
|
|
Loading…
Reference in a new issue