Hi, I have a minor problem with building the gdbserver, alloc-ipa.o on ubuntu 14.04 which still uses GNU Make 3.81. Since several quirks for this GNU Make version exist, I suppose this version is still intended to be supported. This patch fixes the build with this make version, and works also for newer versions. Thanks Bernd.