mirror of
https://git.openwrt.org/openwrt/openwrt.git
synced 2024-06-14 19:23:53 +02:00
12 lines
350 B
Diff
12 lines
350 B
Diff
--- a/engine/SCons/Platform/__init__.py
|
|
+++ b/engine/SCons/Platform/__init__.py
|
|
@@ -65,6 +65,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':
|