From 3e5d1c3644cce636e6b42eb449f249c57c9abc8e Mon Sep 17 00:00:00 2001 From: lihui Date: Wed, 25 Dec 2019 18:00:18 +0800 Subject: [PATCH] [#971] --- packaging/tools/get_os.sh | 2 +- src/os/linux/inc/os.h | 5 ++++- 2 files changed, 5 insertions(+), 2 deletions(-) mode change 100644 => 100755 packaging/tools/get_os.sh diff --git a/packaging/tools/get_os.sh b/packaging/tools/get_os.sh old mode 100644 new mode 100755 index 13f9f63228..f74b63f980 --- a/packaging/tools/get_os.sh +++ b/packaging/tools/get_os.sh @@ -10,5 +10,5 @@ set -e OS=$(cat /etc/*-release | grep "^NAME=" | cut -d= -f2) len=$(echo ${#OS}) len=$((len-2)) -retval=$(echo -ne ${OS:1:${len}} | cut -d" " -f0) +retval=$(echo -ne ${OS:1:${len}} | cut -d" " -f1) echo -ne $retval diff --git a/src/os/linux/inc/os.h b/src/os/linux/inc/os.h index 1cefe5b587..e4b7b073f9 100644 --- a/src/os/linux/inc/os.h +++ b/src/os/linux/inc/os.h @@ -23,7 +23,10 @@ extern "C" { #include #include -#include +#ifdef __USE_GNU + #include +#endif + #include #include #include -- GitLab