From cb8d5cc265b7b0db6a8382d2d65b4ec10e1f31f5 Mon Sep 17 00:00:00 2001 From: Mauro Murari Date: Fri, 4 May 2018 18:18:59 -0300 Subject: [PATCH] Fix platform not supported error in build.py (#4102) --- scripts/build.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/build.py b/scripts/build.py index 209ced781..61f2b0dce 100755 --- a/scripts/build.py +++ b/scripts/build.py @@ -694,7 +694,7 @@ def main(args): orig_branch = get_current_branch() 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 build_output = {}