On Wednesday 2013-02-20 00:21, Yann E. MORIN wrote: >> This seems to install >> /usr/bin/diff [...] > >By default, the binaries should all ne prefixed with 'kconfig-' to avoid >such name-clashing (as root, in a fresh debootstrap of squeeze here): Aha. Seems I hit a peculiarity in rpmbuild. Problem solved, nothing to see. :) $ grep -A5 -e '^%configure' /usr/lib/rpm/macros %configure \ CFLAGS="${CFLAGS:-%optflags}" ; export CFLAGS ; \ CXXFLAGS="${CXXFLAGS:-%optflags}" ; export CXXFLAGS ; \ FFLAGS="${FFLAGS:-%optflags}" ; export FFLAGS ; \ %{_configure} --host=%{_host} --build=%{_build} \\\ --program-prefix=%{?_program_prefix} \\\ -- To unsubscribe from this list: send the line "unsubscribe linux-kbuild" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html