wingo pushed a commit to branch wip-whippet
in repository guile.
commit 3f92f36947393d0e6dc7f4545346f3083ad4d095
Author: Andy Wingo <wi...@igalia.com>
AuthorDate: Sat Aug 12 10:23:29 2023 +0200
embed.mk: silent by default
---
embed.mk | 8 ++++++--
1 file changed, 6 insertions(+), 2 deletions(-)
diff --git a/embed.mk b/embed.mk
index c189151c1..27a9be6e8 100644
--- a/embed.mk
+++ b/embed.mk
@@ -8,13 +8,17 @@ BUILD_CFLAGS_debug = -O0 -g -DGC_DEBUG=1
GC_BUILD_CFLAGS = $(BUILD_CFLAGS_$(or $(GC_BUILD),$(DEFAULT_BUILD)))
+v_0 = @
+v_1 =
+
+GC_V = $(v_$(V))
GC_CC = gcc
GC_CFLAGS = -Wall -flto -fno-strict-aliasing -fvisibility=hidden -Wno-unused
$(GC_BUILD_CFLAGS)
GC_CPPFLAGS = -I$(WHIPPET)api
GC_LDFLAGS = -lpthread -flto
GC_DEPFLAGS =
-GC_COMPILE = $(GC_CC) $(GC_CFLAGS) $(GC_CPPFLAGS) $(GC_DEPFLAGS) -o $@
-GC_LINK = $(GC_CC) $(GC_LDFLAGS) -o $@
+GC_COMPILE = $(GC_V)$(GC_CC) $(GC_CFLAGS) $(GC_CPPFLAGS) $(GC_DEPFLAGS) -o $@
+GC_LINK = $(GC_V)$(GC_CC) $(GC_LDFLAGS) -o $@
GC_PLATFORM = gnu-linux
GC_OBJDIR =
