diff options
| author | Christophe Grenier <[email protected]> | 2020-09-11 12:58:00 +0200 |
|---|---|---|
| committer | Christophe Grenier <[email protected]> | 2020-09-11 12:58:00 +0200 |
| commit | 79e2b889daf9992e4ed2c08b572a1544d62ed119 (patch) | |
| tree | b145c002378162534b656bfb1c622acf9ee53318 /src/file_mdb.c | |
| parent | 4ba942d12e7094004074b6808f2532b8f877019e (diff) | |
PhotoRec: add an ifdef in each file for easier frama-c testing
Diffstat (limited to 'src/file_mdb.c')
| -rw-r--r-- | src/file_mdb.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/file_mdb.c b/src/file_mdb.c index f7aad9e0..a77c27ff 100644 --- a/src/file_mdb.c +++ b/src/file_mdb.c @@ -20,6 +20,7 @@ */ +#if !defined(SINGLE_FORMAT) || defined(SINGLE_FORMAT_mdb) #ifdef HAVE_CONFIG_H #include <config.h> #endif @@ -76,3 +77,4 @@ static void register_header_check_accdb(file_stat_t *file_stat) static const unsigned char accdb_header[]= { 0x00, 0x01, 0x00, 0x00, 'S', 't', 'a', 'n', 'd','a','r','d',' ','A','C','E',' ', 'D','B', 0x00}; register_header_check(0, accdb_header,sizeof(accdb_header), &header_check_accdb, file_stat); } +#endif |