| 764 | } |
| 765 | |
| 766 | static const char* |
| 767 | extractFilename(const char* path, char separator) |
| 768 | { |
| 769 | const char* search = strrchr(path, separator); |
| 770 | if (search == NULL) return path; |
| 771 | return search+1; |
| 772 | } |
| 773 | |
| 774 | /* FIO_createFilename_fromOutDir() : |
| 775 | * Takes a source file name and specified output directory, and |
no test coverage detected