X-Git-Url: https://uglyman.kremlin.cc/gitweb/gitweb.cgi?p=systembsd.git;a=blobdiff_plain;f=Makefile;h=084a948f9f8c64ed447b94d8cefd000526526684;hp=2d0ad82c27dce6a417e1c9991df222338c8ddfeb;hb=d15318db3e7290d10cca372000cbdd0bdbc9fc6a;hpb=7f0a0212d65905aea6c875b6250e0a87dc9820d8

diff --git a/Makefile b/Makefile
index 2d0ad82..084a948 100644
--- a/Makefile
+++ b/Makefile
@@ -1,7 +1,7 @@
 .PHONY: all
 
 CFLAGS=-Wall -Wextra -Werror -std=c89 
-DEBUGF=-O0 -v -g
+DEBUGF=-O0 -g
 SRCDIR=src
 INTFDIR=$(SRCDIR)/interfaces
 SANITY=-Wno-unused-variable -Wno-unused-parameter # -Wno-comment