From dcfae68c874635956f71d4c05928841b29ad0a8b Mon Sep 17 00:00:00 2001
From: Jonathan Protzenko <protz@microsoft.com>
Date: Mon, 21 Oct 2024 10:32:06 -0700
Subject: [PATCH] Silence GCC-only warning

---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile b/Makefile
index 24b1d6e..b882339 100644
--- a/Makefile
+++ b/Makefile
@@ -32,6 +32,7 @@ out/test-%/main.c: test/main.c
 test-partial_eq: EXTRA_C = ../../test/partial_eq/stubs.c
 test-nested_arrays: EXTRA = -funroll-loops 0
 test-array: EXTRA = -fcomments
+test-symcrust: CFLAGS += -Wno-unused-function
 
 test-%: test/%/out.llbc out/test-%/main.c | all
 	$(EURYDICE) $(EXTRA) --output out/test-$* $<