Fix cabalos name

This commit is contained in:
Yann Esposito 2014-08-30 09:54:25 +02:00
parent 4bdb719b59
commit 057eb65a36

View file

@ -24,7 +24,7 @@ cabalversion="1.20.0.3"
archi=$(uname -m)
if [[ $(uname -s) = "Darwin" ]]; then
os="apple-darwin"
cabalos="apple-darwin-maverick"
cabalos="apple-darwin-mavericks"
else
cabalversion="1.20.0.1"
os="unknown-linux-deb7"