diff options
| author | Tomi Ollila <tomi.ollila@iki.fi> | 2016-09-29 16:12:49 +0300 |
|---|---|---|
| committer | David Bremner <david@tethera.net> | 2016-09-30 07:15:49 -0300 |
| commit | fde846cf7dea2ad67418f3f3c9311213b766bfec (patch) | |
| tree | 7fc15a7487650970d38c8ccb097e53ce949b3e6e | |
| parent | 0b138c268641080c766801b4d74db3b693ca6eaa (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-x | configure | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -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. |
