1 files changed, 1 insertions, 10 deletions
diff --git a/configure b/configure
index fab64655a8..55c7fe920d 100755
--- a/configure
+++ b/configure
@@ -4278,18 +4278,9 @@ while test $# -gt 0; do
 
   if test -f $xsrcdir$name/Implies; then
     # Collect more names from the `Implies' file (removing comments).
-    implied_candidate="`sed 's/#.*$//' < $xsrcdir$name/Implies`"
+    implied_candidate="`. $xsrcdir$name/Implies`"
     implied=
     for x in $implied_candidate; do
-      case $x in
-	"\$"*:*:*)
-	  implied_var="`echo $x | sed 's/:.*$//'`"
-	  eval "implied_var=$implied_var"
-	  implied_cond="`echo $x | sed 's/.*:\(.*\):.*$/\1/'`"
-	  test "$implied_var" = "$implied_cond" || continue
-	  x="`echo $x | sed 's/.*://'`"
-	  ;;
-      esac
       found=no
       if test -d $xsrcdir$name_base/$x; then
 	implied="$implied $name_base/$x";