From: Jérôme Benoit 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 --- 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;