diff --git a/ghcup b/ghcup index a0a9941..cd5f7e3 100755 --- a/ghcup +++ b/ghcup @@ -1093,7 +1093,7 @@ get_distro_alias() { "Fedora"|"fedora") distro_alias=fedora ;; - "CentOS Linux"|"CentOS"|"centos") + "CentOS Linux"|"CentOS"|"centos"|"Red Hat Enterprise Linux"*) distro_alias=centos ;; "Alpine Linux"|"Alpine") @@ -1102,9 +1102,9 @@ get_distro_alias() { "Linux Mint"|"LinuxMint") distro_alias=mint ;; - "Amazon Linux AMI") - distro_alias=amazonlinux - ;; + "Amazon Linux AMI") + distro_alias=amazonlinux + ;; "AIX") distro_alias=aix ;; @@ -1752,7 +1752,7 @@ compile_ghc() { if [ -n "${build_config}" ] ; then edo cat "${build_config}" > mk/build.mk else - cat <<-EOF > mk/build.mk || die + cat <<-EOF > mk/build.mk || die V=0 BUILD_MAN = NO BUILD_SPHINX_HTML = NO