diff --git a/util/fipsdist.pl b/util/fipsdist.pl index fa1d4d8f9..20c3999c9 100644 --- a/util/fipsdist.pl +++ b/util/fipsdist.pl @@ -25,7 +25,7 @@ while () { chomp; # Skip directories but leave top level files. - next unless (/^(fips\/|crypto|util|test|include)/ || (!/\// && -f $_)); + next unless (/^(fips\/|crypto|util|test|include|ms)/ || (!/\// && -f $_)); if (/^crypto\/([^\/]+)/) { # Skip unused directories under crypto/