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_pcx.c | |
parent | 4ba942d12e7094004074b6808f2532b8f877019e (diff) |
PhotoRec: add an ifdef in each file for easier frama-c testing
Diffstat (limited to 'src/file_pcx.c')
-rw-r--r-- | src/file_pcx.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/file_pcx.c b/src/file_pcx.c index 4f351e85..c51c1d94 100644 --- a/src/file_pcx.c +++ b/src/file_pcx.c @@ -20,6 +20,7 @@ */ +#if !defined(SINGLE_FORMAT) || defined(SINGLE_FORMAT_pcx) #ifdef HAVE_CONFIG_H #include <config.h> #endif @@ -110,4 +111,4 @@ static int header_check_pcx(const unsigned char *buffer, const unsigned int buff } return 0; } - +#endif |