diff options
Diffstat (limited to 'demoscript/Util.py')
| -rw-r--r-- | demoscript/Util.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/demoscript/Util.py b/demoscript/Util.py index 82de03fe2cc..9a78fb39d41 100644 --- a/demoscript/Util.py +++ b/demoscript/Util.py @@ -208,6 +208,9 @@ def getIceDir(subdir = None): def isWin32(): return sys.platform == "win32" +def isCompactFramework(): + return isWin32() and ("COMPACT" in os.environ and os.environ["COMPACT"] == "yes") + def isSolaris(): return sys.platform == "sunos5" |