diff --git a/configure b/configure
index a58fb86e6aa..a526d42d72d 100755
--- a/configure
+++ b/configure
@@ -254,6 +254,8 @@ resolveDeviceMkspec()
     elif [ "$match_count" -eq 0 ]; then
         echo >&2 "Error: No device matching '$VAL'"
         echo "undefined"
+    else
+        echo "$result"
     fi
 }