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

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