1 files changed, 1 insertions, 1 deletions
diff --git a/Configure b/Configure
index 07f0bc1201..54a77823b0 100755
--- a/Configure
+++ b/Configure
@@ -2039,7 +2039,7 @@ true)
 	echo "Fetching answers from $config_sh..."
 	cd ..
 	. $config_sh
-	. ./optdef.sh
+	. UU/optdef.sh
 	echo " "
 	. UU/extract
 	rm -rf UU