From b2135db098ef48101fc71ba16b6cce69441467ac Mon Sep 17 00:00:00 2001 From: sdardenn Date: Sun, 5 May 2019 20:53:01 +0200 Subject: [PATCH] Update cflags --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index e00ae85..29365e8 100644 --- a/Makefile +++ b/Makefile @@ -7,7 +7,7 @@ CC = clang # "drapeau" en paramètres # ajouter "-O0" si besoin d'utiliser valgrind # -ggdb3 pour les information de debugging -CFLAGS = -ggdb3 -O0 -Wall -Werror +CFLAGS = -ggdb3 -Wall -Werror # Nom de l'executable EXE = correcteur -- libgit2 0.21.2