mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2025-12-23 21:43:51 +01:00
dist/tools/kconfiglib: avoid rewriting /dev/null
This commit is contained in:
parent
639a1d19f8
commit
aa97392cad
2
dist/tools/kconfiglib/genconfig.py
vendored
2
dist/tools/kconfiglib/genconfig.py
vendored
@ -395,7 +395,7 @@ with error.""")
|
|||||||
|
|
||||||
# HACK: Force all symbols to be evaluated, to catch warnings generated
|
# HACK: Force all symbols to be evaluated, to catch warnings generated
|
||||||
# during evaluation (such as out-of-range integers)
|
# during evaluation (such as out-of-range integers)
|
||||||
kconf.write_config(os.devnull)
|
kconf.write_config(os.devnull, save_old=False)
|
||||||
|
|
||||||
if not check_configs(kconf) and not args.ignore_config_errors:
|
if not check_configs(kconf) and not args.ignore_config_errors:
|
||||||
sys.exit(1)
|
sys.exit(1)
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user