From a162dae6e445e2178ab917a59e730450981133d7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Fri, 6 Mar 2020 15:35:00 +0100
Subject: [PATCH] [ivette] use server debug 1 by default

---
 ivette/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ivette/Makefile b/ivette/Makefile
index 88a7789a773..2601733f199 100644
--- a/ivette/Makefile
+++ b/ivette/Makefile
@@ -2,7 +2,7 @@
 APP=Ivette
 DOME=./src/dome
 DOME_ARGS=--command ./$$(dirname $$0)/../../bin/frama-c
-DOME_DEV=-server-debug 2
+DOME_DEV=-server-debug 1
 DOME_CLI=./bin/frama-c-gui
 DOME_API=./src/frama-c
 COPYRIGHT=CEA LIST / LSL
-- 
GitLab