From 79e2b889daf9992e4ed2c08b572a1544d62ed119 Mon Sep 17 00:00:00 2001
From: Christophe Grenier <grenier@cgsecurity.org>
Date: Fri, 11 Sep 2020 12:58:00 +0200
Subject: PhotoRec: add an ifdef in each file for easier frama-c testing

---
 src/file_dat.c | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/file_dat.c')

diff --git a/src/file_dat.c b/src/file_dat.c
index 3618323a..370fbed5 100644
--- a/src/file_dat.c
+++ b/src/file_dat.c
@@ -20,6 +20,7 @@
 
  */
 
+#if !defined(SINGLE_FORMAT) || defined(SINGLE_FORMAT_dat)
 #ifdef HAVE_CONFIG_H
 #include <config.h>
 #endif
@@ -93,3 +94,4 @@ static void register_header_check_dat(file_stat_t *file_stat)
   register_header_check(4, dat_history, sizeof(dat_history), &header_check_dat_history4, file_stat);
   register_header_check(10, dat_history, sizeof(dat_history), &header_check_dat_history10, file_stat);
 }
+#endif
-- 
cgit