I'm using Linux and last day i had some problems with building programs that are stored in apps. (43xxx_wiFi project).
The problem was a segmentation fault that i solved overriding MAKE variables in following files.
In details i put this
MAKE := /usr/bin/make
at first istruction, forcing /usr/bin/make usage instead of avnet make.
P.S. It was not possible copy/linking /usr/bin/make instead of 43xxx_Wi-Fi/make, because there was some controls in some .mk file that detected the change.