(cherry picked from commit 4bdbafabce5aea47d131473a0b46830c401cc251)
@@ -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