diff options
author | Justus Winter <justus@sequoia-pgp.org> | 2019-05-07 16:44:23 +0200 |
---|---|---|
committer | Justus Winter <justus@sequoia-pgp.org> | 2019-05-07 18:24:34 +0200 |
commit | 8ed5842580a1c172fc8d5ebe5d0444ee5e011a01 (patch) | |
tree | e1848d56b52be85208db90b59739ad1b353c0c6a | |
parent | c0308304ad20cd702231572eba3dedb293bdc103 (diff) |
openpgp-ffi: Deal with name-mangling.
- Apparently, some platforms use name mangling to differentiate
calling conventions. Deal with that in `make check-headers`.
-rw-r--r-- | openpgp-ffi/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/openpgp-ffi/Makefile b/openpgp-ffi/Makefile index bbf49329..175b7359 100644 --- a/openpgp-ffi/Makefile +++ b/openpgp-ffi/Makefile @@ -58,7 +58,7 @@ test check: check-headers check-headers: force-build nm -g --defined-only \ $(CARGO_TARGET_DIR)/debug/libsequoia_openpgp_ffi.$(_SEQ_LIB_EXT) \ - | cut -d' ' -f3 | sort -u | grep pgp_ \ + | sed s/^_// | cut -d' ' -f3 | sort -u | grep pgp_ \ | while read SYM ; \ do git grep -q "$$SYM" include || echo $$SYM ; \ done | tee $(CARGO_TARGET_DIR)/debug/.check-headers ; \ |