jenkins: keep failed distchecks around for investigation
authorJustus Winter <justus@g10code.com>
Mon, 10 Apr 2017 12:33:31 +0000 (14:33 +0200)
committerJustus Winter <justus@g10code.com>
Mon, 10 Apr 2017 12:33:31 +0000 (14:33 +0200)
misc/jenkins/bin/build.bash

index aca5cc2..0e9a698 100755 (executable)
@@ -331,6 +331,8 @@ case "$XTARGET" in
               # Jenkins looks for "FAIL:" to mark a build unstable,
               # hence we ignore errors here.
              echo "FAIL: make distcheck failed with status $?"
+             # Disable the cleanup so that we can investigate.
+             trap - EXIT
              exit 0
          fi