From: Jérôme Benoit <jerome.benoit@piment-noir.org>
Date: Thu, 15 Feb 2018 15:30:14 +0000 (+0100)
Subject: Remove a warning.
X-Git-Url: https://git.piment-noir.org/?a=commitdiff_plain;h=a2b1260fdc9092cc70f5b1ef760104c09d4f325a;p=TD_SE.git

Remove a warning.

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

diff --git a/philosophe/philosophe.c b/philosophe/philosophe.c
index 72b740e..476d124 100644
--- a/philosophe/philosophe.c
+++ b/philosophe/philosophe.c
@@ -12,7 +12,7 @@
 // fourchette droite du philosophe i
 #define libre 1
 #define occupe 0
-int fourch[N] = { libre, libre, libre, libre, libre };
+static int fourch[N] = { libre, libre, libre, libre, libre };
 
 sem_t mutex;