1. 2d91260 jenkins.sh: more quotes, cosmetics, less dup by Neels Hofmeyr · 8 years ago
  2. 6bae2d1 jenkins.sh: use absolute paths instead of 'cd ..' and $PWD by Neels Hofmeyr · 8 years ago
  3. 0b4da05 jenkins.sh: ensure $MAKE is set by Neels Hofmeyr · 8 years ago
  4. 1aa7527 jenkins: Add the build script from jenkins here by Holger Hans Peter Freyther · 8 years ago