diff options
Diffstat (limited to 'util/fipsdist.pl')
| -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 53f9d3e18a..4ebf1acb49 100644 --- a/util/fipsdist.pl +++ b/util/fipsdist.pl @@ -58,7 +58,7 @@ while (<STDIN>) } else { - next unless (/^(fips\/|crypto|util|test|include|ms|c6x)/); + next unless (/^(fips\/|crypto|util|test|include|ms|c6x|iOS)/); } if (/^crypto\/([^\/]+)/) { |