diff options
| author | Joey Hess <joey@kitenet.net> | 2014-05-28 10:38:29 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2014-05-28 10:38:29 -0400 |
| commit | 2066292be9490fe2d8bc433e4c21b0a1907455e6 (patch) | |
| tree | 9b4962bb54282557ee137d9aa316c55914b1fd07 /config-joey.hs | |
| parent | a0b808e8923c2ceb598bf56f8f2628c802574765 (diff) | |
propellor spin
Diffstat (limited to 'config-joey.hs')
| -rw-r--r-- | config-joey.hs | 8 |
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. |