From c5b291e1ed125affd1ee070267a0d946c5c8dcd7 Mon Sep 17 00:00:00 2001 From: Matthieu Gautier Date: Wed, 12 Jul 2017 16:35:11 +0200 Subject: [PATCH] Do not crash if no source_dir is given. --- scripts/compile_resources.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/scripts/compile_resources.py b/scripts/compile_resources.py index 5480b0f7d..b76a83bc9 100755 --- a/scripts/compile_resources.py +++ b/scripts/compile_resources.py @@ -168,8 +168,9 @@ if __name__ == "__main__": args = parser.parse_args() base_dir = os.path.dirname(os.path.realpath(args.resource_file)) + source_dir = args.source_dir or [] with open(args.resource_file, 'r') as f: - resources = [Resource([base_dir]+args.source_dir, filename) + resources = [Resource([base_dir]+source_dir, filename) for filename in f.readlines()] h_identifier = to_identifier(os.path.basename(args.hfile))