Index: third_party/lit/lit.py |
diff --git a/third_party/lit/lit.py b/third_party/lit/lit.py |
new file mode 100755 |
index 0000000000000000000000000000000000000000..851063b3bd1f757b62cf443c3501d57a1e9d18e0 |
--- /dev/null |
+++ b/third_party/lit/lit.py |
@@ -0,0 +1,5 @@ |
+#!/usr/bin/env python |
+ |
+if __name__=='__main__': |
+ import lit |
+ lit.main() |