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

[Nathan of Guardian]

On Sat, Oct 25, 2014, at 05:47 PM, Delyan Kratunov wrote:
> > (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

Alright, looks like it is there now:
https://github.com/guardianproject/badvpn/commits/master

> 
> 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...
> 

We have a CI Jarvis server, it is just not pointed at this branch. Also,
this new part of the build process is not integrated yet... but yes.