diff --git a/populate-lib b/populate-lib index edb4fb4c..0fc2e561 100755 --- a/populate-lib +++ b/populate-lib @@ -51,6 +51,10 @@ my $size = 0; for my $lib (keys %libraries) { + # skip vdso + next if $lib =~ /vdso/; + + warn "$lib\n"; $size += -s $lib; my $libname = basename $lib; # my $dirname = dirname "$dest/$lib";