diff options
author | 2018-01-29 19:58:07 +0200 | |
---|---|---|
committer | 2018-01-29 19:58:07 +0200 | |
commit | d9a8ca32815b998bf0cdd359cc5c061a396f4d88 (patch) | |
tree | e3bb2fff20173a4870df595ebe86b8a8a8d21b82 /get_externals.py | |
parent | typo (diff) | |
download | pypy-d9a8ca32815b998bf0cdd359cc5c061a396f4d88.tar.gz pypy-d9a8ca32815b998bf0cdd359cc5c061a396f4d88.tar.bz2 pypy-d9a8ca32815b998bf0cdd359cc5c061a396f4d88.zip |
add unsupported platform arg for cross-compilation
Diffstat (limited to 'get_externals.py')
-rw-r--r-- | get_externals.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/get_externals.py b/get_externals.py index b09720cf30..edfcd6f748 100644 --- a/get_externals.py +++ b/get_externals.py @@ -50,6 +50,9 @@ def parse_args(): p.add_argument('-b', '--branch', default=host.externals_branch,
help='branch to check out',
)
+ p.add_argument('-p', '--platform', default=None,
+ help='someday support cross-compilation, ignore for now',
+ )
return p.parse_args()
|