1. 7002975 jenkins: Enable tracing and error handling in bash by Holger Hans Peter Freyther · 8 years ago
  2. d163218 jenkins: Add build script used by jenkins on our public CI by Holger Hans Peter Freyther · 8 years ago