Merge pull request #137 from sayrer/find-more-headers

Allow BUILD.pkg to find more kinds of header files
tweag · Aug 24, 2020 · dc24090 · dc24090
2 parents 85b767e + ad6db13
commit dc24090
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/nixpkgs/BUILD.pkg b/nixpkgs/BUILD.pkg
@@ -12,5 +12,5 @@ filegroup(
 
 filegroup(
     name = "include",
-    srcs = glob(["include/**/*.h"], allow_empty = True),
+    srcs = glob(["include/**/*.h", "include/**/*.hh", "include/**/*.hpp", "include/**/*.hxx"], allow_empty = True),
 )