Commits

Peter Eisentraut committed 399c909

Add delay option to linklint, to prevent some hosts from failing

  • Participants
  • Parent commits 90b4756

Comments (0)

Files changed (1)

File jenkins/jobs/postgresql_master_linklint/config.xml

     <hudson.tasks.Shell>
       <command>test -f GNUmakefile || ./configure
 make -C doc/src/sgml html
-linklint -concise_url -limit 3000 -net -root doc/src/sgml/html -skip &apos;/release-#&apos; -out linklint.out /@
+linklint -concise_url -limit 3000 -net -delay 3 -root doc/src/sgml/html -skip &apos;/release-#&apos; -out linklint.out /@
 </command>
     </hudson.tasks.Shell>
   </builders>