Remove duplicated flags // Issue #698

This commit is contained in:
Ivan Kravets
2016-06-18 00:56:04 +03:00
parent 2eca835ec7
commit 2b88ef134b
2 changed files with 4 additions and 4 deletions

View File

@ -14,7 +14,7 @@
import sys
VERSION = (2, 10, "4.dev1")
VERSION = (2, 10, "4.dev2")
__version__ = ".".join([str(s) for s in VERSION])
__title__ = "platformio"

View File

@ -159,9 +159,9 @@ def ProcessUnFlags(env, flags):
for key in parsed_flags.keys():
cur_flags = set(env.get(key, []))
common = cur_flags & all_flags
for item in common:
env[key].remove(item)
for item in (cur_flags & all_flags):
while item in env[key]:
env[key].remove(item)
def IsFileWithExt(env, file_, ext): # pylint: disable=W0613