Browse files

Release scripts: small changes to reduce intermittent failures

-don't check exit status of wget in the trigger_pdfgen script;
 it was exiting with non-0 status even though the pdf generation
 was being triggered correctly

-introduce a delay after filtering the git history to allow HEAD
 to be properly reset

-re-enable sanity checks in filter_stable and source_release scripts
 that had temporarily been disabled while the new protected repository
 was being set up
  • Loading branch information...
1 parent 7ab7c87 commit 532efad8cd198ff646f3efe73d147ad16b7b711b @droazen droazen committed Mar 19, 2013
Showing with 0 additions and 0 deletions.

0 comments on commit 532efad

Please sign in to comment.