Merge remote-tracking branch 'refs/remotes/facebook/dev' into dev11

2017-02-14 09:26:03 +01:00
parent 35bf23c086 58af614ef2
commit b876b96ce1
32 changed files with 991 additions and 60 deletions
@@ -182,6 +182,11 @@ UTIL_STATIC int UTIL_getFileStat(const char* infilename, stat_t *statbuf)
    return 1;
 }

+UTIL_STATIC int UTIL_isRegFile(const char* infilename)
+{
+    stat_t statbuf;
+    return UTIL_getFileStat(infilename, &statbuf); /* Only need to know whether it is a regular file */
+}

 UTIL_STATIC U64 UTIL_getFileSize(const char* infilename)
 {