Hi,
I like your proposal. I have one little remark.
pkg-config does not behave the same if PKG_CONFIG_LIBDIR is unset or
if it is empty (in this case, it does not try system directories). You
can keep this behavior by replacing:
if [ -z "$PKG_CONFIG_LIBDIR" ];
by:
if [ x"${PKG_CONFIG_LIBDIR+set}" = x ];
Regards,
Vincent
--
Vincent Danjean GPG key ID 0x9D025E87 vdanj...@debian.org
GPG key fingerprint: FC95 08A6 854D DB48 4B9A 8A94 0BF7 7867 9D02 5E87
Unofficial pkgs: http://moais.imag.fr/membres/vincent.danjean/deb.html
APT repo: deb http://people.debian.org/~vdanjean/debian unstable main
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
