jenkins: keep failed distchecks around for investigation
[gnupg-doc.git] / 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