From dd695563e68d605b837b7813ae7bfafbf866ddff Mon Sep 17 00:00:00 2001
From: Jonas Nick <jonasd.nick@gmail.com>
Date: Mon, 6 May 2024 16:28:01 +0000
Subject: [PATCH] check-abi: explicitly provide public headers

Without this commit, the check-abi shell script outputs false positives because
it consider some headers public that are actually not public.
---
 tools/check-abi.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/check-abi.sh b/tools/check-abi.sh
index 55c945ac16..94a98831e1 100755
--- a/tools/check-abi.sh
+++ b/tools/check-abi.sh
@@ -49,7 +49,7 @@ checkout_and_build() {
         -DSECP256K1_BUILD_CTIME_TESTS=OFF \
         -DSECP256K1_BUILD_EXAMPLES=OFF
     cmake --build . -j "$(nproc)"
-    abi-dumper src/libsecp256k1.so -o ABI.dump -lver "$2"
+    abi-dumper src/libsecp256k1.so -o ABI.dump -lver "$2" -public-headers ../include/
     cd "$_orig_dir"
 }