From b589d394be3c942c3bcdf1b857ff34a5fde462ab Mon Sep 17 00:00:00 2001 From: Brad Linden Date: Thu, 19 Sep 2024 12:02:57 -0700 Subject: remove dead code in build.sh --- build.sh | 9 --------- 1 file changed, 9 deletions(-) diff --git a/build.sh b/build.sh index dd85fde7d6..eb81ff319a 100755 --- a/build.sh +++ b/build.sh @@ -517,15 +517,6 @@ then fi fi -# Some of the uploads takes a long time to finish in the codeticket backend, -# causing the next codeticket upload attempt to fail. -# Inserting this after each potentially large upload may prevent those errors. -# JJ is making changes to Codeticket that we hope will eliminate this failure, then this can be removed -wait_for_codeticket() -{ - sleep $(( 60 * 6 )) -} - # check status and upload results to S3 if $succeeded then -- cgit v1.2.3