equal
deleted
inserted
replaced
1211 except AttributeError: |
1211 except AttributeError: |
1212 return os.stat(fp.name) |
1212 return os.stat(fp.name) |
1213 |
1213 |
1214 # File system features |
1214 # File system features |
1215 |
1215 |
1216 def checkcase(path): |
1216 def fscasesensitive(path): |
1217 """ |
1217 """ |
1218 Return true if the given path is on a case-sensitive filesystem |
1218 Return true if the given path is on a case-sensitive filesystem |
1219 |
1219 |
1220 Requires a path (like /foo/.hg) ending with a foldable final |
1220 Requires a path (like /foo/.hg) ending with a foldable final |
1221 directory component. |
1221 directory component. |