Merge pull request graalvm#38 from christianwimmer/master

Make git revision checking more resilient
tkrodriguez · Feb 10, 2016 · 1c83c13 · 1c83c13
2 parents 7c6f7d6 + 8256a49
commit 1c83c13
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/mx.py b/mx.py
@@ -3673,7 +3673,7 @@ def exists(self, vcdir, rev):
             out = subprocess.check_output(['git', 'show', '--format=oneline', '-s', rev], cwd=vcdir)
             return out.strip().startswith(rev)
         except subprocess.CalledProcessError:
-            abort('exists failed')
+            return False