diff options
| author | ruki <[email protected]> | 2023-02-01 23:30:42 +0800 |
|---|---|---|
| committer | ruki <[email protected]> | 2023-02-01 23:30:42 +0800 |
| commit | 2abd9d0c581cdfb3057454fd02a78dc6842db8cb (patch) | |
| tree | 2e5cbd7e75057221f59fe55af7722328ab015620 | |
| parent | b09b37e14d976e3e94d853cba67f12e4ec1db43d (diff) | |
update configure
| -rwxr-xr-x | configure | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -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. |
