From 68b9b009ef7c4c65321afd1dc3d8437914ef9f32 Mon Sep 17 00:00:00 2001 From: Netaji Panigrahi <114923459+NetajiPanigrahi@users.noreply.github.com> Date: Mon, 25 May 2026 12:38:46 +0530 Subject: [PATCH] Update configure_options.conf --- cov_docker_script/configure_options.conf | 3 +++ 1 file changed, 3 insertions(+) diff --git a/cov_docker_script/configure_options.conf b/cov_docker_script/configure_options.conf index 7bb7920..44465a1 100644 --- a/cov_docker_script/configure_options.conf +++ b/cov_docker_script/configure_options.conf @@ -9,6 +9,9 @@ # Autotools configuration -DHAVE_CONFIG_H +# Safec dummy API +-DSAFEC_DUMMY_API + # Include paths -I$HOME/usr/include/rdkb/ -I/usr/include/dbus-1.0