diff options
-rw-r--r-- | src/java_config_2/VersionManager.py | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/java_config_2/VersionManager.py b/src/java_config_2/VersionManager.py index cb30e88..a876f02 100644 --- a/src/java_config_2/VersionManager.py +++ b/src/java_config_2/VersionManager.py @@ -110,7 +110,11 @@ class VersionManager: for token in tokens: if token[-1] == "?": - if token[:-1] not in useflags: + if token.startswith("!"): + skip = token[1:-1] in useflags + else: + skip = token[:-1] not in useflags + if skip: level = 0 while 1: token = next(tokens) |