From 221df1e0ef2b8eee4caa9dde632ea4951e624ce9 Mon Sep 17 00:00:00 2001 From: Gilles Peskine Date: Thu, 1 Aug 2019 23:14:29 +0200 Subject: [PATCH] Fix "#define ... not found" error when using the default file name Also make that error message end with a newline. --- scripts/config.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/config.py b/scripts/config.py index 9105949450..d3836c77d6 100755 --- a/scripts/config.py +++ b/scripts/config.py @@ -398,8 +398,8 @@ if __name__ == '__main__': elif args.command == 'set': if not args.force and args.symbol not in config.settings: sys.stderr.write("A #define for the symbol {} " - "was not found in {}" - .format(args.symbol, args.file)) + "was not found in {}\n" + .format(args.symbol, config.filename)) return 1 config.set(args.symbol, value=args.value) elif args.command == 'unset':