diff options
| author | Christophe Grenier <[email protected]> | 2022-04-13 09:20:45 +0200 |
|---|---|---|
| committer | Christophe Grenier <[email protected]> | 2022-04-13 09:20:45 +0200 |
| commit | 305d71ea0a542f40d5c01573643a457747cc60a0 (patch) | |
| tree | 77470fd224293c22623e36bf1684715fef5c625c /src/dfxml.c | |
| parent | 952415ee990f17fed58ba22ca0d3f86fad38ff2b (diff) | |
Use "DISABLED_FOR_FRAMAC" to disable code to facilitate verification
using frama-c
Diffstat (limited to 'src/dfxml.c')
| -rw-r--r-- | src/dfxml.c | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/src/dfxml.c b/src/dfxml.c index 88fbef61..38035d11 100644 --- a/src/dfxml.c +++ b/src/dfxml.c @@ -24,7 +24,7 @@ #include <config.h> #endif -#if defined(__FRAMAC__) +#if defined(DISABLED_FOR_FRAMAC) #undef HAVE_LIBEWF #undef HAVE_SYS_UTSNAME_H #undef ENABLE_DFXML @@ -206,13 +206,11 @@ void xml_add_DFXML_creator(const char *package, const char *version) #ifdef RECORD_COMPILATION_DATE xml_out2s("compilation_date", get_compilation_date()); #endif -#ifndef MAIN_photorec xml_printf("<library name='libext2fs' version='%s'/>\n", td_ext2fs_version()); xml_printf("<library name='libewf' version='%s'/>\n", td_ewf_version()); xml_printf("<library name='libjpeg' version='%s'/>\n", td_jpeg_version()); xml_printf("<library name='libntfs' version='%s'/>\n", td_ntfs_version()); xml_printf("<library name='zlib' version='%s'/>\n", td_zlib_version()); -#endif xml_pop("build_environment"); xml_push("execution_environment",""); #if defined(__CYGWIN__) || defined(__MINGW32__) @@ -247,11 +245,11 @@ void xml_add_DFXML_creator(const char *package, const char *version) #ifdef HAVE_GETEUID xml_out2i("uid", geteuid()); #endif -#if !defined(__FRAMAC__) +#if !defined(DISABLED_FOR_FRAMAC) { char outstr[200]; const time_t t = time(NULL); -#if defined(__MINGW32__) || defined(__FRAMAC__) +#if defined(__MINGW32__) || defined(DISABLED_FOR_FRAMAC) const struct tm *tmp = localtime(&t); #else struct tm tm_tmp; |