Here’s a proposed patch for bug 18124 with the addition of supporting the optional DESTDIR argument to the make command.
I tested it with the original scenarios, plus the scenario of having a DESTDIR specified as the overall root for the install.
Sylvestre, perhaps you can test this on your end to make sure it really fixes your scenario, and if it looks good, commit it?
Thanks, and sorry for breaking you!
bug_18124_take_2.diff (1.65 KB)