There may be no cache directory on upload

ruslo · Dec 21, 2016 · e269600 · e269600
1 parent e23f6ad
commit e269600
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/maintenance/upload-cache-to-github.py b/maintenance/upload-cache-to-github.py
@@ -454,6 +454,12 @@ def upload_meta(self, github, cache_done):
 
 cache_dir = os.path.normpath(args.cache_dir)
 
+# Some tests don't produce cache for some toolchains:
+# * https://travis-ci.org/ingenue/hunter/jobs/185550289
+if not os.path.exists(cache_dir):
+  print("*** WARNING *** Cache directory '{}' not found, skipping...".format(cache_dir))
+  sys.exit()
+
 if not os.path.isdir(cache_dir):
   raise Exception('Not a directory: {}'.format(cache_dir))