diff options
author | Justus Winter <justus@sequoia-pgp.org> | 2019-05-08 09:10:03 +0200 |
---|---|---|
committer | Justus Winter <justus@sequoia-pgp.org> | 2019-05-08 09:10:40 +0200 |
commit | fac8851d9dbb16cd2d82b9bbee037cd4bd4fd179 (patch) | |
tree | 39767ede6af1d232fec861b3031a43951f52392c /openpgp-ffi/Makefile | |
parent | 403dcb3e592d8f17649d08897caeab4973ef358c (diff) |
openpgp-ffi: Deal with name-mangling, 2nd try.
- Apparently, some platforms use name mangling to differentiate
calling conventions. Deal with that in `make check-headers`.
- Fixes 8ed5842580a1c172fc8d5ebe5d0444ee5e011a01.
Diffstat (limited to 'openpgp-ffi/Makefile')
-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 175b7359..775ac63d 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) \ - | sed s/^_// | cut -d' ' -f3 | sort -u | grep pgp_ \ + | cut -d' ' -f3 | sed s/^_// | sort -u | grep pgp_ \ | while read SYM ; \ do git grep -q "$$SYM" include || echo $$SYM ; \ done | tee $(CARGO_TARGET_DIR)/debug/.check-headers ; \ |