diff --git a/SConstruct b/SConstruct index e08c46c51e8..aed02143389 100644 --- a/SConstruct +++ b/SConstruct @@ -55,7 +55,7 @@ methods.save_active_platforms(active_platforms,active_platform_ids) custom_tools=['default'] -platform_arg = ARGUMENTS.get("platform", False) +platform_arg = ARGUMENTS.get("platform", ARGUMENTS.get("p", False)) if (os.name=="posix"): pass