@@ -30,9 +30,10 @@ def get_options(source):
3030 options_file = path.join(source_dirpath, "bat_options")
3131 try:
3232 with open(options_file, "r") as f:
33− options += list(map(lambda x: x.rstrip(), f.readlines()))
33+ options.extend(map(lambda x: x.rstrip(), f.readlines()))
3434 except FileNotFoundError:
3535 pass
36+
3637 return options
3738
3839