diff --git a/Cabal/Makefile b/Cabal/Makefile index 2a4e9805a33ffdeed13d2dd45a333bfa8ecc0a01..cbfce13acbca688b55f80711a1ca7c5f3440c791 100644 --- a/Cabal/Makefile +++ b/Cabal/Makefile @@ -8,7 +8,7 @@ KIND=rc PREFIX=/usr/local HC=ghc GHCFLAGS=-Wall -#SSH-USER=SOME_USER +SSH-USER=$USER all: build