Thomas Fitzsimmons writes: > Hi, > > A large part of the time taken by "make install" is spent installing CNI > headers. I propose that we don't install them by default, and create an > "install-cni-headers" target instead. use make install-exec. Andrew.