diff options
author | Alon Zakai <alonzakai@gmail.com> | 2012-04-04 11:11:43 -0700 |
---|---|---|
committer | Alon Zakai <alonzakai@gmail.com> | 2012-04-04 11:11:43 -0700 |
commit | c677d9e446160698dae8bd0de030a4e7262597cc (patch) | |
tree | 6bccb5fe94a9d5df56b2393449a37f3356a1c770 /tools/shared.py | |
parent | cc83ccc030c09b065a48baba245c45e1d2e98e66 (diff) | |
parent | 92e2a651b4ad1d7434f16c45fd00596320653e2f (diff) |
Merge pull request #346 from behdad/outgoing
Misc fixes
Diffstat (limited to 'tools/shared.py')
-rw-r--r-- | tools/shared.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/shared.py b/tools/shared.py index 6fa4444e..e11dc95a 100644 --- a/tools/shared.py +++ b/tools/shared.py @@ -184,7 +184,7 @@ else: if 'gcparam' not in str(SPIDERMONKEY_ENGINE): SPIDERMONKEY_ENGINE += ['-e', "gcparam('maxBytes', 1024*1024*1024);"] # Our very large files need lots of gc heap -WINDOWS = 'win' in sys.platform +WINDOWS = sys.platform.startswith ('win') # Temp file utilities |