diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-10-09 21:40:11 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-10-09 21:40:11 +0200 |
| commit | 9012dfb8eb7276e29d567d27b49f6fea317bd83c (patch) | |
| tree | 5c6f5fb6264199723af7645d4bebb941fa3ecb65 | |
| parent | 616ddbdf1d207b0de397ffbb0d03d6389e998db5 (diff) | |
| parent | 4bdbafabce5aea47d131473a0b46830c401cc251 (diff) | |
Merge pull request #6757 from vnen/fix-android-build-win
Fix Android build detection on Windows
| -rw-r--r-- | SConstruct | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/SConstruct b/SConstruct index 0652414088..524fb3fef5 100644 --- a/SConstruct +++ b/SConstruct @@ -54,7 +54,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 |