diff --git a/mozilla/security/tinderlight/env.sh b/mozilla/security/tinderlight/env.sh index 7f81b258769..2e64cb11fc9 100644 --- a/mozilla/security/tinderlight/env.sh +++ b/mozilla/security/tinderlight/env.sh @@ -41,6 +41,12 @@ if [ "${ARCH}" = "SunOS" ]; then ARCH=SunOS/$(uname -p) fi +if [ "${ARCH}" = "Linux" -a -f /etc/system-release ]; then + VERSION=`sed -e 's; release ;;' -e 's; (.*)$;;' -e 's;Red Hat Enterprise Linux Server;RHEL;' /etc/system-release` + ARCH=Linux/${VERSION} + echo ${ARCH} +fi + MAIL=mail TB_SERVER=tinderbox-daemon@tinderbox.mozilla.org