diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2017-07-28 15:51:34 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2017-07-28 15:51:34 +0200 |
commit | 9b1d73b31cf3f137336d59dfd3a9e7caa073c8e3 (patch) | |
tree | 37acf9a2a65be8fe7e489bbfa6b0de033c311ea8 | |
parent | b846f3c80db66a6efedbe43f0048f084e0e1ec97 (diff) |
Filter out utility libraries during install
-rw-r--r-- | build2/cc/install.cxx | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/build2/cc/install.cxx b/build2/cc/install.cxx index c35e931..75f6b8a 100644 --- a/build2/cc/install.cxx +++ b/build2/cc/install.cxx @@ -25,6 +25,11 @@ namespace build2 const target* install:: filter (action a, const target& t, prerequisite_member p) const { + // Skip utility libraries. + // + if (p.is_a<libu> () || p.is_a<libux> ()) + return nullptr; + if (t.is_a<exe> ()) { // Don't install executable's prerequisite headers. |