configure: set platform variables also when `uname` is unrecognized

Since commit

124a67e96ecab5495c0f17b6875d53dfd67ff137: configure: add set -u

all variables must be set before their expansion are attempted. These
2 variables: "platform" and "linker_resolves_library_dependencies" were
not given value in the final 'else' branch when platform check failed
due to unrecognized kernel name (output of `uname`). Now those two are
given reasonable non-empty values.

diff --git a/configure b/configure
index fa4c5b5ee3d3dd3051d31190edab142fb87f3f1a..cc6746c10bae638701c582fdcba07386e517aae8 100755 (executable)
--- a/configure
+++ b/configure
@@ -650,6 +650,8 @@ elif [ $uname = "Linux" ] || [ $uname = "GNU" ] ; then
     fi
 else
     printf "Unknown.\n"
     fi
 else
     printf "Unknown.\n"

+    platform="$uname"
+    linker_resolves_library_dependencies=0

     cat <<EOF
 
 *** Warning: Unknown platform. Notmuch might or might not build correctly.
     cat <<EOF
 
 *** Warning: Unknown platform. Notmuch might or might not build correctly.