1. 0961408 jenkins.sh: echo HEADs' hashes, echo each project name prominently by Neels Hofmeyr · 8 years ago
  2. de0acd2 jenkins.sh: fix, remove code dup by Neels Hofmeyr · 8 years ago
  3. 156fa39 attempt to fix parallel build, improve AM logic by Alexander Huemer · 8 years ago
  4. 75f8116 jenkins: Disable parallel make as it is broken right now by Holger Hans Peter Freyther · 8 years ago
  5. 02601c8 contrib: Put asn1c into the PATH as well by Holger Hans Peter Freyther · 8 years ago
  6. 64f5639 contrib: Add build script used on the jenkins to build it by Holger Hans Peter Freyther · 8 years ago