Fix CI

rui314 · Jul 30, 2023 · 6d667fa · 6d667fa
1 parent aa64491
commit 6d667fa
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/test/elf/riscv64_attributes.sh b/test/elf/riscv64_attributes.sh
@@ -5,6 +5,9 @@ cat <<EOF | $CC -march=rv64imafd_xfoo1p5 -o $t/a.o -c -xc -
 void foo() {}
 EOF
 
+# The compiler might not create .riscv.attributes
+readelf --sections $t/a.o | grep -Fq .riscv.attributes || skip
+
 cat <<EOF | $CC -march=rv64imafd_xfoo2p0 -o $t/b.o -c -xc -
 void bar() {}
 EOF