Comment 6 for bug 1922579

Revision history for this message
Przemyslaw Wirkus (wirkus) wrote :

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