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/file_fob.c | |
| parent | 952415ee990f17fed58ba22ca0d3f86fad38ff2b (diff) | |
Use "DISABLED_FOR_FRAMAC" to disable code to facilitate verification
using frama-c
Diffstat (limited to 'src/file_fob.c')
| -rw-r--r-- | src/file_fob.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/file_fob.c b/src/file_fob.c index 99f2e8a6..d303e820 100644 --- a/src/file_fob.c +++ b/src/file_fob.c @@ -73,7 +73,7 @@ static int header_check_fob(const unsigned char *buffer, const unsigned int buff static void register_header_check_fob(file_stat_t *file_stat) { register_header_check(0, "Codeunit ", 9, &header_check_fob, file_stat); -#ifndef __FRAMAC__ +#ifndef DISABLED_FOR_FRAMAC register_header_check(0, "Dataport ", 9, &header_check_fob, file_stat); register_header_check(0, "Form ", 5, &header_check_fob, file_stat); register_header_check(0, "MenuSuite ", 10, &header_check_fob, file_stat); |