[guardian-dev] Fwd: Re: Orbot VPN service

[Delyan Kratunov]

> (adding /jni to git now)

Except, you're missing Android.mk from external/badvpn. :)

/home/delyan/dev/orbot/jni/Android.mk:2: ../external/badvpn/Android.mk: No 
such file or directory

On a general note, this little interaction has made me very appreciative of 
continuous integration. If we had an up-to-date mirror on Github and smoke 
builds on Travis for every commit, we'd immediately see build breakers. Just a 
thought...

-- Delyan