diff options
Diffstat (limited to 'scripts/prepare_bindings.py')
| -rwxr-xr-x | scripts/prepare_bindings.py | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/scripts/prepare_bindings.py b/scripts/prepare_bindings.py index 3165f232e5ec..6d70f5bf421b 100755 --- a/scripts/prepare_bindings.py +++ b/scripts/prepare_bindings.py @@ -152,6 +152,11 @@ def process_args(args): "Specifies the build dir where the language binding " "should be placed")) + parser.add_argument( + "--target-platform", + help=( + "Specifies the platform we are building for." + "Should be the same as what platform.system() returns.")) # Process args. options = parser.parse_args(args) |