Skip to content
Snippets Groups Projects
Commit d1286d6b authored by Martin Sjögren's avatar Martin Sjögren
Browse files

OK, $USER was a bad choice, make it $user instead

parent e472f8f3
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
Makefile
+ 1
− 1
View file @ d1286d6b
......@@ -3,7 +3,7 @@ PREF=/usr/local
USER_FLAG =
GHCPKGFLAGS =
ifdef USER
ifdef user
USER_FLAG = --user
GHCPKGFLAGS = -f ~/.ghc-packages
GHCFLAGS += -package-conf ~/.ghc-packages
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment