"Andreas K. Huettel" <dilfridge@gentoo.org> writes: > configure: make --prefix=/usr and '' identical > * This was also reverted last minute before the previous release > 0bba6c29a1 Revert "configure: default to --prefix=/usr on GNU/Linux" I determined that this is not technically possible with the way we use configure today.