summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTomi Ollila <tomi.ollila@iki.fi>2016-09-29 16:12:49 +0300
committerDavid Bremner <david@tethera.net>2016-09-30 07:15:49 -0300
commitfde846cf7dea2ad67418f3f3c9311213b766bfec (patch)
tree7fc15a7487650970d38c8ccb097e53ce949b3e6e
parent0b138c268641080c766801b4d74db3b693ca6eaa (diff)
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.
-rwxr-xr-xconfigure2
1 files changed, 2 insertions, 0 deletions
diff --git a/configure b/configure
index fa4c5b5e..cc6746c1 100755
--- a/configure
+++ b/configure
@@ -650,6 +650,8 @@ elif [ $uname = "Linux" ] || [ $uname = "GNU" ] ; then
fi
else
printf "Unknown.\n"
+ platform="$uname"
+ linker_resolves_library_dependencies=0
cat <<EOF
*** Warning: Unknown platform. Notmuch might or might not build correctly.