From c40fcc1e40771cbc2dd13e9eab2f3a4ec6c19435 Mon Sep 17 00:00:00 2001 From: "Dr. Stephen Henson" Date: Sat, 14 Feb 2009 23:08:31 +0000 Subject: [PATCH] Skip engines directory if no-engine --- Configure | 1 + 1 file changed, 1 insertion(+) diff --git a/Configure b/Configure index 45be2e6ab7..b2089d8159 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/; -- 2.25.1