diff --git a/tool/mkconfig.rb b/tool/mkconfig.rb index edfdda203b..586eb9ec59 100755 --- a/tool/mkconfig.rb +++ b/tool/mkconfig.rb @@ -347,7 +347,7 @@ print <