blob: 8f18725cf3da56c544a009bff7499ebb61cb248f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
### Please describe the problem.
Setting git-annex on an Android device (either the released version, or the autobuilder apk), I'm told:
[[!format sh """
git-annex: unknown command webapp
"""]]
Looking in the logs on the Android autobuilder I see many instances of:
[[!format sh """
#warning Building without the webapp. You probably need to install Yesod..
"""]]
### What steps will reproduce the problem?
Run git-annex.
### What version of git-annex are you using? On what operating system?
v5.20150617~g031b85a
### Please provide any additional information below.
[[!format sh """
# If you can, paste a complete transcript of the problem occurring here.
# If the problem is with the git-annex assistant, paste in .git/annex/daemon.log
# End of transcript or log.
"""]]
|
