Try twice in case of network lossage

mernst · Jan 20, 2023 · d513958 · d513958
1 parent e03e552
commit d513958
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/checker/bin-devel/test-plume-lib.sh b/checker/bin-devel/test-plume-lib.sh
@@ -50,5 +50,6 @@ for PACKAGE in "${PACKAGES[@]}"; do
   # Uses "compileJava" target instead of "assemble" to avoid the javadoc error "Error fetching URL:
   # https://docs.oracle.com/en/java/javase/17/docs/api/" due to network problems.
   echo "About to call ./gradlew --console=plain -PcfLocal compileJava"
-  (cd "${PACKAGEDIR}" && ./gradlew --console=plain -PcfLocal compileJava)
+  # Try twice in case of network lossage.
+  (cd "${PACKAGEDIR}" && (./gradlew --console=plain -PcfLocal compileJava || (sleep 60 && ./gradlew --console=plain -PcfLocal compileJava)))
 done