blob: 96372128a3625bf1a0807a3c29d9fb49f53f1809 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
---
configure | 8 ++++++--
1 file changed, 6 insertions(+), 2 deletions(-)
--- a/configure
+++ b/configure
@@ -15,8 +15,12 @@
echo $PACKAGE_VERSION
echo -n "checking HOST_OS... "
-HOST_OS=$( uname -s )
-if [ "$HOST_OS" = "Linux" ]
+if [ -z "$HOST_OS" ] ; then
+ HOST_OS=$( uname -s )
+else
+ echo -n "using preset: "
+fi
+if [ "$HOST_OS" = "Linux" -o "$HOST_OS" = "linux" ]
then
HOST_OS="linux-gnu"
fi
|
