mirror of
https://github.com/openwrt/openwrt.git
synced 2024-12-27 01:11:14 +00:00
12 lines
350 B
Diff
12 lines
350 B
Diff
|
--- a/engine/SCons/Platform/__init__.py
|
||
|
|
+++ b/engine/SCons/Platform/__init__.py
|
||
|
|
@@ -63,6 +63,8 @@ def platform_default():
|
||
|
|
care about the machine architecture.
|
||
|
|
"""
|
||
|
|
osname = os.name
|
||
|
|
+ if 'PLATFORM' in os.environ:
|
||
|
|
+ return os.environ['PLATFORM']
|
||
|
|
if osname == 'java':
|
||
|
|
osname = os._osType
|
||
|
|
if osname == 'posix':
|