Silence GCC-only warning

AeneasVerif · Oct 21, 2024 · dcfae68 · dcfae68
1 parent 0c3a8f8
commit dcfae68
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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-$* $<