diff options
Diffstat (limited to 'util')
-rwxr-xr-x | util/cmake/configurejson2cmake.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/util/cmake/configurejson2cmake.py b/util/cmake/configurejson2cmake.py index aff840f850..2dfd8e16a0 100755 --- a/util/cmake/configurejson2cmake.py +++ b/util/cmake/configurejson2cmake.py @@ -284,6 +284,8 @@ def map_condition(condition): # Turn foo != "bar" into (NOT foo STREQUAL 'bar') condition = re.sub(r"([^ ]+)\s*!=\s*('.*?')", "(! \\1 == \\2)", condition) + # Turn foo != 156 into (NOT foo EQUAL 156) + condition = re.sub(r"([^ ]+)\s*!=\s*([0-9]?)", "(! \\1 EQUAL \\2)", condition) condition = condition.replace("!", "NOT ") condition = condition.replace("&&", " AND ") |