diff --git a/Configure b/Configure index 45be2e6ab..b2089d815 100755 --- a/Configure +++ b/Configure @@ -1447,6 +1447,7 @@ while () } $sdirs = 0 unless /\\$/; s/fips // if (/^DIRS=/ && !$fips); + s/engines // if (/^DIRS=/ && $disabled{"engine"}); s/^VERSION=.*/VERSION=$version/; s/^MAJOR=.*/MAJOR=$major/; s/^MINOR=.*/MINOR=$minor/;