1. a238176 configure: add --enable-sanitize, use in jenkins.sh by Neels Hofmeyr · 8 years ago
  2. 530736f jenkins.sh: drop unecessary PATH, now in slave config by Neels Hofmeyr · 8 years ago
  3. 56155c1 jenkins.sh: output all test logs when 'make check' failed by Neels Hofmeyr · 8 years ago
  4. 7002975 jenkins: Enable tracing and error handling in bash by Holger Hans Peter Freyther · 8 years ago
  5. d163218 jenkins: Add build script used by jenkins on our public CI by Holger Hans Peter Freyther · 8 years ago