mirror of
https://github.com/crosstool-ng/crosstool-ng.git
synced 2024-12-21 05:43:09 +00:00
22 lines
419 B
Diff
22 lines
419 B
Diff
---
|
|
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
|