Buildbot scripts

[Jonathan Neuschäfer]

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

[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

Post by Jonathan Neuschäfer
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
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev