[klee-dev] Buildbot scripts

[Daniel Dunbar]

Hi Jonathan,

Yes, the configurations are available here:
  http://llvm.org/viewvc/llvm-project/zorg/trunk/buildbot/klee/

 - Daniel



On Sat, Mar 16, 2013 at 5:48 PM, Jonathan Neuschäfer
<j.neuschaefer at gmx.net>wrote:

> Dear KLEE devs,
>
> is there an easy way to view/download the build scripts used by the
> "Buildbot" running at http://klee.minormatter.com:8010/?
> If not, would it make sense to set up a Git repository for them?
>
>
> Thanks,
> Jonathan Neuschäfer
>
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>
-------------- next part --------------
HTML attachment scrubbed and removed