travis_retry in make steps

2026-10-02 23:45:22 -04:00 · 2020-08-03 13:29:19 -04:00
parent e96db08851
commit 450c1e6fe1
1 changed files with 2 additions and 2 deletions
@@ -31,8 +31,8 @@ install:
    - popd

 script:
-    - make
-    - make pearl
+    - travis_retry make
+    - travis_retry make pearl

 notifications:
  email: false