From 4965352c558f8e030b3b968f98566f87ed6f0b8a Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Mon, 20 Apr 2020 18:29:57 +0200
Subject: do not print debug stuff

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

(limited to 'runtime')

diff --git a/runtime/Makefile b/runtime/Makefile
index bf979d5f..98cde235 100644
--- a/runtime/Makefile
+++ b/runtime/Makefile
@@ -1,6 +1,6 @@
 include ../Makefile.config
 
-CFLAGS=-O1 -g -Wall
+CFLAGS=-O1 -Wall
 
 ifeq ($(ARCH),x86)
 ifeq ($(MODEL),64)
-- 
cgit