# HG changeset patch
# User Jim Meyering <jim@meyering.net>
# Date 916507081 0
# Node ID d8cb69b80232fee49be6994e6c091ad07b2d1e2d
# Parent  165d22c8d97a7971b2025c6a17e4d20f6090771b
(ARGMATCH_DIE_DECL): Use it.

diff --git a/lib/argmatch.c b/lib/argmatch.c
--- a/lib/argmatch.c
+++ b/lib/argmatch.c
@@ -61,6 +61,10 @@
 # define ARGMATCH_DIE exit (EXIT_FAILURE)
 #endif
 
+#ifdef ARGMATCH_DIE_DECL
+ARGMATCH_DIE_DECL;
+#endif
+
 static void
 __argmatch_die (void)
 {