Skip to content
Snippets Groups Projects
Commit 3ae0c202 authored by Mauro Murari's avatar Mauro Murari Committed by Daniel Nelson
Browse files

Fix platform not supported error in build.py (#4102)

parent 7c0754eb
No related branches found
No related tags found
No related merge requests found
...@@ -694,7 +694,7 @@ def main(args): ...@@ -694,7 +694,7 @@ def main(args):
orig_branch = get_current_branch() orig_branch = get_current_branch()
if args.platform not in supported_builds and args.platform != 'all': if args.platform not in supported_builds and args.platform != 'all':
logging.error("Invalid build platform: {}".format(target_platform)) logging.error("Invalid build platform: {}".format(args.platform))
return 1 return 1
build_output = {} build_output = {}
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment