Move filename_from_filepath() to filenames.c

2016-09-08 16:17:28 +02:00
parent 18534fcdeb
commit 367473c657
3 changed files with 22 additions and 18 deletions
@@ -15,4 +15,6 @@ void generate_cached_kernel_mp_filename (const uint opti_type, const uint opts_t
 void generate_source_kernel_amp_filename (const uint attack_kern, char *shared_dir, char *source_file);
 void generate_cached_kernel_amp_filename (const uint attack_kern, char *profile_dir, const char *device_name_chksum, char *cached_file);

+char *filename_from_filepath (char *filepath);
+
 #endif // _FILENAMES_H