kaspar/RIOT
1
0
Fork 0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2025-12-28 16:01:18 +01:00
Code Releases Activity

Merge pull request #17873 from leandrolanzieri/pr/dist/tools/kconfiglib/fix_dev_null_rewrite

Browse Source 
dist/tools/kconfiglib: avoid rewriting `/dev/null`
This commit is contained in:
Kaspar Schleiser 2022-03-28 15:00:27 +02:00 committed by GitHub
commit 80da040efa
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
dist/tools/kconfiglib/genconfig.py vendored
View File

@ -395,7 +395,7 @@ with error.""")
# HACK: Force all symbols to be evaluated, to catch warnings generated
# 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:
sys.exit(1)