在Ubuntu下,解决办法是:
sudo apt-get install gawk
详见:【记录】在Ubuntu下用crosstool-ng编译xscale的交叉工具链
Search Highlighter (On/Off)