summaryrefslogtreecommitdiff
path: root/config-joey.hs
diff options
context:
space:
mode:
authorJoey Hess2014-05-28 10:38:29 -0400
committerJoey Hess2014-05-28 10:38:29 -0400
commit2066292be9490fe2d8bc433e4c21b0a1907455e6 (patch)
tree9b4962bb54282557ee137d9aa316c55914b1fd07 /config-joey.hs
parenta0b808e8923c2ceb598bf56f8f2628c802574765 (diff)
propellor spin
Diffstat (limited to 'config-joey.hs')
-rw-r--r--config-joey.hs8
1 files changed, 5 insertions, 3 deletions
diff --git a/config-joey.hs b/config-joey.hs
index e145a39b..7d0a4e80 100644
--- a/config-joey.hs
+++ b/config-joey.hs
@@ -197,9 +197,11 @@ hosts = -- (o) `
, GitAnnexBuilder.armelAutoBuilderContainer dockerImage "1 3 * * *" "5h"
, GitAnnexBuilder.androidAutoBuilderContainer dockerImage "1 1 * * *" "3h"
- -- for development of git-annex for android
- , GitAnnexBuilder.androidContainer dockerImage "android-git-annex"
- & Docker.volume ("/home/joey/src/git-annex:" ++ GitAnnexBuilder.homedir </> "git-annex")
+ -- for development of git-annex for android, using my git-annex
+ -- work tree
+ , let gitannexdir = GitAnnexBuilder.homedir </> "git-annex"
+ in GitAnnexBuilder.androidContainer dockerImage "android-git-annex" doNothing gitannexdir
+ & Docker.volume ("/home/joey/src/git-annex:" ++ gitannexdir)
] ++ monsters
-- This is my standard system setup.