diff options
Diffstat (limited to 'src/nix-populate')
-rwxr-xr-x | src/nix-populate | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/nix-populate b/src/nix-populate index fa70ace80674..50819d6664d4 100755 --- a/src/nix-populate +++ b/src/nix-populate @@ -6,7 +6,7 @@ my $pkglist = $ENV{"NIX_ACTIVATIONS"}; $pkglist or die "NIX_ACTIVATIONS not set"; my $linkdir = $ENV{"NIX_LINKS"}; $linkdir or die "NIX_LINKS not set"; -my @dirs = ("bin", "sbin", "lib"); +my @dirs = ("bin", "sbin", "lib", "include"); # Figure out a generation number. my $nr = 1; |