diff options
| -rw-r--r-- | util/fipsdist.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/util/fipsdist.pl b/util/fipsdist.pl index fa1d4d8f9a..20c3999c93 100644 --- a/util/fipsdist.pl +++ b/util/fipsdist.pl @@ -25,7 +25,7 @@ while (<STDIN>) { 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/ |