diff --git a/tools/make-dist.sh b/tools/make-dist.sh index a41fadbd2086f104712a19dd79bd45a5c64a23c5..0324af781845ec60ac76d4ac0f3d4e054c926d93 100755 --- a/tools/make-dist.sh +++ b/tools/make-dist.sh @@ -40,7 +40,7 @@ def_arch_os () { uname_r=`uname -r` case $uname_r in 5.*) rel=`echo $uname_r | sed 's/5\.//'`;; - *) rel=$uname;; + *) rel=$uname_r;; esac OS=solaris$rel ;;