Brice Goglin, le Wed 06 Feb 2013 16:03:21 +0100, a écrit : > I am not sure yet if we should add a > --disable-gpl or --enable-gpl,
Jeff Squyres (jsquyres), le Wed 06 Feb 2013 16:11:55 +0100, a écrit : > - if found, and if --enable-gpl-taint was specified, use it. STOP. Such kind of options are questionable: nothing says that libpci is for sure GPL. The system might have a BSD replacement for libpci with the exact same API... Samuel
