diff --git a/packaging/tools/get_os.sh b/packaging/tools/get_os.sh old mode 100644 new mode 100755 index 13f9f63228697c7abb69daf6abe14e49a4977f13..f74b63f9805e937933000d097c24bc6b85663288 --- 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 1cefe5b587e42505b855b5feb4b5a44f3076a6a5..e4b7b073f9aba4faa2bde093c75f8aabb8157a79 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