diff options
Diffstat (limited to 'dh_illumos_gate')
-rwxr-xr-x | dh_illumos_gate | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/dh_illumos_gate b/dh_illumos_gate index c750688..f92bce8 100755 --- a/dh_illumos_gate +++ b/dh_illumos_gate @@ -141,6 +141,9 @@ if (@ARGV) { 'usr/src/common/mapfiles', 'usr/src/tools/scripts/bldenv.sh', ); + if (grep {m|.*usr/src/lib/.*|} @ARGV) { + push @to_extract, 'usr/src/lib/Makefile*' + } } push @to_extract, map {m,(?:illumos-gate/)?(.*),; $1} @ARGV; } else { |