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