updated README.md and bulid scripts

2025-12-13 08:57:28 -06:00
parent ed320e3a64
commit d389d169b7
5 changed files with 38 additions and 2 deletions
--- a/.jenkins_builds
+++ b/.jenkins_builds
@@ -37,6 +37,9 @@ pipeline {
          }
        }

+        stage('grab_packages') {
+          steps { script { retryWithBackoff(2, 5) { sh 'grab_packages.sh' } } }
+        }
        stage('win32_shared') {
          steps { script { retryWithBackoff(2, 5) { sh 'scripts/test_win32.sh shared' } } }
        }