diff --git a/Configure b/Configure index c62da8c5dd..d504ca3cc5 100755 --- a/Configure +++ b/Configure @@ -1550,6 +1550,7 @@ while () } } $sdirs = 0 unless /\\$/; + s/fips // if (/^DIRS=/ && !$fips); s/engines // if (/^DIRS=/ && $disabled{"engine"}); s/ccgost// if (/^ENGDIRS=/ && $disabled{"gost"}); s/^VERSION=.*/VERSION=$version/;