From 2abd9d0c581cdfb3057454fd02a78dc6842db8cb Mon Sep 17 00:00:00 2001 From: ruki Date: Wed, 1 Feb 2023 23:30:42 +0800 Subject: update configure --- configure | 3 +++ 1 file changed, 3 insertions(+) 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. -- cgit v1.3.1