avoid setting PREFIX if already set
This commit is contained in:
parent
d7a6902978
commit
ccbb379536
2 changed files with 3 additions and 1 deletions
2
Makefile
2
Makefile
|
@ -3,7 +3,7 @@ all=git-annex $(mans) docs
|
||||||
|
|
||||||
GHC?=ghc
|
GHC?=ghc
|
||||||
GHCMAKE=$(GHC) $(GHCFLAGS) --make
|
GHCMAKE=$(GHC) $(GHCFLAGS) --make
|
||||||
PREFIX=/usr
|
PREFIX?=/usr
|
||||||
CABAL?=cabal # set to "./Setup" if you lack a cabal program
|
CABAL?=cabal # set to "./Setup" if you lack a cabal program
|
||||||
|
|
||||||
# Am I typing :make in vim? Do a fast build.
|
# Am I typing :make in vim? Do a fast build.
|
||||||
|
|
|
@ -19,3 +19,5 @@ index b8995b2..5b1a6d4 100644
|
||||||
"""]]
|
"""]]
|
||||||
|
|
||||||
--[[anarcat]]
|
--[[anarcat]]
|
||||||
|
|
||||||
|
> [[done]] --[[Joey]]
|
||||||
|
|
Loading…
Reference in a new issue