mirror of
git://git.openwrt.org/openwrt/openwrt.git
synced 2024-12-15 11:24:42 +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':
|