Fixes to make 'no-ec' work (it should not turn 'objects' into 'objts' for example)

1 files changed, 1 insertions, 1 deletions

diff --git a/Configure b/Configure
index dc372a2042..335d9b576e 100755
--- a/Configure
+++ b/Configure
@@ -879,7 +879,7 @@ while (<IN>)
 	if ($sdirs) {
 		my $dir;
 		foreach $dir (@skip) {
-			s/$dir//;
+			s/ $dir / /;
 			}
 		}
 	$sdirs = 0 unless /\\$/;