Just a side comment: I've checked and we've moved to GNU make 4.1 some time ago in our toolchain infrastructure.
Just a side comment: I've checked and we've moved to GNU make 4.1 some time ago in our toolchain infrastructure.