wingo pushed a commit to branch wip-whippet
in repository guile.
commit 7010b4fce0374a7c3a5eb2d75ad0a4e2c8b84398
Author: Andy Wingo <wi...@igalia.com>
AuthorDate: Fri May 16 21:59:40 2025 +0200
Fix --with-gc-debug in whippet.m4
---
whippet.m4 | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/whippet.m4 b/whippet.m4
index f364d1973..9ff7a81bc 100644
--- a/whippet.m4
+++ b/whippet.m4
@@ -176,7 +176,7 @@ END
fi])
AC_DEFUN([WHIPPET_PKG_DEBUG],
- [AC_ARG_WITH(whippet-debug,
+ [AC_ARG_WITH(gc-debug,
AS_HELP_STRING([--with-gc-debug],
[Compile GC library with debugging support (default: no)]),
[whippet_with_debug=$withval],
