From: Jérôme Benoit <jerome.benoit@piment-noir.org>
Date: Fri, 2 Mar 2018 13:19:16 +0000 (+0100)
Subject: Refine .cquery.
X-Git-Url: https://git.piment-noir.org/?a=commitdiff_plain;h=a0451866da486d3ab7868d41ff0f25c217c531bb;p=TD_SE.git

Refine .cquery.

Signed-off-by: Jérôme Benoit <jerome.benoit@piment-noir.org>
---

diff --git a/.cquery b/.cquery
index 6d0c4db..9e6ef79 100644
--- a/.cquery
+++ b/.cquery
@@ -1,4 +1,4 @@
-clang
--xc
--std=c11
+%clang
+%c -std=c11
+%cpp -std=c++11
 -Weverything
diff --git a/philosophe/philosophe.c b/philosophe/philosophe.c
index e317951..22923ce 100644
--- a/philosophe/philosophe.c
+++ b/philosophe/philosophe.c
@@ -12,7 +12,7 @@
 // fourchette droite du philosophe i
 #define libre 1
 #define occupe 0
-static int fourch[N] = { libre, libre, libre, libre, libre };
+static int fourch[N] = { libre };
 
 sem_t mutex;