diff options
author | Joey Hess <joey@kitenet.net> | 2010-10-14 03:46:34 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2010-10-14 03:46:34 -0400 |
commit | 50630840ee6802fef9db136505975db40a81920a (patch) | |
tree | e35163b15518582631ae21a4d4f9461409b655a5 | |
parent | f407f23a54d9152a382ee8e48629f40e1a72a26f (diff) |
build in subdir
-rw-r--r-- | .gitignore | 5 | ||||
-rw-r--r-- | Makefile | 5 |
2 files changed, 4 insertions, 6 deletions
diff --git a/.gitignore b/.gitignore index 7dd8869b1..2b3e3aef1 100644 --- a/.gitignore +++ b/.gitignore @@ -1,5 +1,2 @@ -*.o -*.hi -*.ho -*.a +build/* git-annex @@ -1,7 +1,8 @@ git-annex: - ghc --make git-annex + mkdir -p build + ghc -odir build -hidir build --make git-annex clean: - rm -f git-annex *.o *.hi *.ho *.a + rm -rf build git-annex .PHONY: git-annex |