summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorruki <[email protected]>2023-02-01 23:30:42 +0800
committerruki <[email protected]>2023-02-01 23:30:42 +0800
commit2abd9d0c581cdfb3057454fd02a78dc6842db8cb (patch)
tree2e5cbd7e75057221f59fe55af7722328ab015620
parentb09b37e14d976e3e94d853cba67f12e4ec1db43d (diff)
update configure
-rwxr-xr-xconfigure3
1 files changed, 3 insertions, 0 deletions
diff --git a/configure b/configure
index ed18027db..21de7bde5 100755
--- a/configure
+++ b/configure
@@ -600,6 +600,9 @@ fi
if echo "${os_host}" | grep bsd >/dev/null 2>&1; then
os_host="bsd"
fi
+if echo "${os_host}" | grep Haiku >/dev/null 2>&1; then
+ os_host="haiku"
+fi
# determining host
# e.g.