-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On 12/12/2011 04:03 AM, Ansgar Burchardt wrote: > > The package now depends on gawk, but this does not mean that > /usr/bin/awk will be gawk as it is managed by the alternatives > system. You need to use gawk explicitly if you need it.
Actually, the code injected by autoconf into configure and used to generate config.status bypasses any Debian-specific stuff like the alternatives system because it's designed to be cross-platform. If 'gawk' is present on the system and in $PATH it will be taken in preference to mawk, nawk , or awk (in that order). That's also why the bug(s) were tagged with "can't reproduce" until the package hit the current unstable buildd: only if gawk is not present on the system will mawk be used unless it's explicitly specified on the configure command line, and most developers and older buildd chroots have gawk installed. I chose the most parsimonious solution for this problem. I could add additional code to force the configure script to do what it's already doing in a belt-and-suspenders way if you think there are advantages. - -- Stephen M. Webb <stephen.w...@bregmasoft.ca> -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iEYEARECAAYFAk7mNwkACgkQTLRKqWcl7vNTigCgioN+ZtgWP01fOAsrhtoBIApO NZ4AniYtdcR3QwF0QRnHY3nopkxaQcFg =CBQ9 -----END PGP SIGNATURE----- -- To UNSUBSCRIBE, email to debian-mentors-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/4ee63709.7080...@bregmasoft.ca
