diff options
| -rwxr-xr-x | tools/fmt-bindings | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/tools/fmt-bindings b/tools/fmt-bindings index be1b23bf52..148ca20955 100755 --- a/tools/fmt-bindings +++ b/tools/fmt-bindings @@ -182,8 +182,12 @@ while (<>) { if ($merge_bindings{$lookup}) { $binding = $merge_bindings{$lookup}; } else { - # this action is not defined in the merge from set, so forget it - next; + if ($key =~ /^\+/) { + # forced inclusion of bindings from template + } else { + # this action is not defined in the merge from set, so forget it + next; + } } } |