From e5d7355cff29e9c6223ef81c7a89052b71909f8b Mon Sep 17 00:00:00 2001 From: Christophe Grenier Date: Sat, 5 Jun 2021 19:31:35 +0200 Subject: [PATCH] src/fidentify.c: call file_rename_*() when available but only for Frama-C validation --- src/fidentify.c | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/src/fidentify.c b/src/fidentify.c index 29924dfb..50036c87 100644 --- a/src/fidentify.c +++ b/src/fidentify.c @@ -287,6 +287,12 @@ static int file_identify(const char *filename, const unsigned int options) } #endif printf("\n"); +#ifdef __FRAMAC__ + if(file_recovery_new.file_rename!=NULL) + { + file_recovery_new.file_rename(&file_recovery_new); + } +#endif } else {