-device: c01621ec8 broke device feature

result was never returned by resolveDeviceMkspec

Change-Id: Ibd2f647e5524cdc9dbf4ea06f7b815f9dcc43212
Reviewed-by: Andy Nichols <andy.nichols@nokia.com>

1 files changed, 2 insertions, 0 deletions

diff --git a/configure b/configure
index a58fb86e6a..a526d42d72 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
 }