remove dead connections as early as possible

[tridge/waf-svn.git/.git] / waflib / Options.py

diff --git a/waflib/Options.py b/waflib/Options.py
index 80e261d04d07215da72fdac232f3352ec299ac11..5943f63f35c204049e38e0fad11a653fb771c2e9 100644 (file)
--- a/waflib/Options.py
+++ b/waflib/Options.py
@@ -35,7 +35,7 @@ commands = []
 List of commands to execute extracted from the command-line. This list is consumed during the execution, see :py:func:`waflib.Scripting.run_commands`.
 """
 
-lockfile = os.environ.get('WAFLOCK', '.lock-wafbuild')
+lockfile = os.environ.get('WAFLOCK', '.lock-wafbuild%s' % sys.platform)
 try: cache_global = os.path.abspath(os.environ['WAFCACHE'])
 except KeyError: cache_global = ''
 platform = Utils.unversioned_sys_platform()