wingo pushed a commit to branch wip-whippet
in repository guile.
commit da5a4633dfb865434e8c061663c0c816fd0e7db5
Author: Andy Wingo <wi...@igalia.com>
AuthorDate: Sat Aug 12 10:26:12 2023 +0200
embed.mk: silent by default, bis
---
embed.mk | 1 +
1 file changed, 1 insertion(+)
diff --git a/embed.mk b/embed.mk
index 27a9be6e8..e2765e1af 100644
--- a/embed.mk
+++ b/embed.mk
@@ -8,6 +8,7 @@ BUILD_CFLAGS_debug = -O0 -g -DGC_DEBUG=1
GC_BUILD_CFLAGS = $(BUILD_CFLAGS_$(or $(GC_BUILD),$(DEFAULT_BUILD)))
+V ?= 1
v_0 = @
v_1 =
