From 8e58aeb2ff4fd2dbe6df5453bcbc669d6cebdc65 Mon Sep 17 00:00:00 2001
From: "Barak A. Pearlmutter" <barak+git@pearlmutter.net>
Date: Wed, 28 Dec 2016 23:38:15 +0100
Subject: [PATCH] avoid OS=DARWINdigists

---
 configure.ac | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/configure.ac b/configure.ac
index c639c33..e1bada3 100644
--- a/configure.ac
+++ b/configure.ac
@@ -28,10 +28,14 @@ AS_CASE([${host_os}],
  [mingw32],          [OS=WINDOWS32],
  [macos],            [OS=DARWIN],
  [linux-android],    [OS=ANDROID],
- [OS="$(echo ${host_os}|tr "a-z" "A-Z_")"])
+ [OS="$(echo ${host_os}|tr "a-z" "A-Z")"])
 
 uname_os="$(uname | tr "a-z" "A-Z")"
 
+# Avoid, e.g., OS=DARWIN15.6.0
+AS_CASE([${uname_os}],
+ [DARWIN],           [OS=DARWIN])
+
 AC_MSG_NOTICE([host_os: ${host_os}])
 AC_MSG_NOTICE([uname_os: ${uname_os}])
 AC_MSG_NOTICE([adjusted OS: ${OS}])