Merge pull request idris-lang#4910 from attila-lendvai-patches/ffi008

fix ffi008 test: add -fcommon to accommodate for gcc v9+
Vekhir · Feb 10, 2022 · 33b06b0 · 33b06b0
2 parents 52d123c + a91cea8
commit 33b06b0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/test/ffi008/run.sh b/test/ffi008/run.sh
@@ -1,4 +1,4 @@
 #!/usr/bin/env bash
-${IDRIS:-idris} $@ ffi008.idr -o ffi008 -p contrib --cg-opt "ffi008.c"
+IDRIS_CFLAGS=-fcommon ${IDRIS:-idris} $@ ffi008.idr -o ffi008 -p contrib --cg-opt "ffi008.c"
 ./ffi008
 rm -f ffi008 *.ibc