diff options
| -rwxr-xr-x | makefiles/gmake/guess_env | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/makefiles/gmake/guess_env b/makefiles/gmake/guess_env index 0ed5601..136e21b 100755 --- a/makefiles/gmake/guess_env +++ b/makefiles/gmake/guess_env @@ -15,6 +15,9 @@ case "$UNAME_SYSTEM.$UNAME_RELEASE" in if test -f /etc/arch-release; then LINUX_DIST='arch' LINUX_REV='current' + if test "$OS_MAJOR_VERSION" = "3"; then + OS_MINOR_VERSION=`echo $UNAME_RELEASE | cut -d . -f 2 | cut -d - -f 1` + fi elif test -f /etc/debian_version; then LINUX_DIST='debian' LINUX_REV=`cat /etc/debian_version | cut -d . -f 1` |