To avoid any future problems, log the TARGET we dervive the OS from.

diff --git a/configure b/configure
index 7fb300b0ceb1ffd543764bcd60ec006ce9f28bf6..c19662ac77bb7ed24d8e0bba15de0fdd69d41878 100755 (executable)
--- a/configure
+++ b/configure
@@ -196,6 +196,7 @@ if [ -z "$TARGET" ]; then
 fi
 
 if [ -z "$OS" ]; then
+       echo "Deriving operating system from ... $TARGET"
        # Derive OS from cpu-vendor-[kernel-]os
        CPU=${TARGET%%-*}
        REST=${TARGET#*-}