diff options
author | Justus Winter <justus@sequoia-pgp.org> | 2019-10-02 10:48:33 +0200 |
---|---|---|
committer | Justus Winter <justus@sequoia-pgp.org> | 2019-10-02 10:48:33 +0200 |
commit | cada199355db0ebecab2736c3fed299f6c91ad2f (patch) | |
tree | b3e312c146fd94160c01b0fc452b6db753b7acd9 /openpgp-ffi | |
parent | 67a983a6e5fb5091a1c3029194accd07f78545ed (diff) |
openpgp-ffi: Fix check-headers to not depend on git.
- Fixes #342.
Diffstat (limited to 'openpgp-ffi')
-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 ea4e013d..b25143d6 100644 --- a/openpgp-ffi/Makefile +++ b/openpgp-ffi/Makefile @@ -60,7 +60,7 @@ check-headers: force-build $(CARGO_TARGET_DIR)/debug/libsequoia_openpgp_ffi.$(_SEQ_LIB_EXT) \ | cut -d' ' -f3 | sed s/^_// | sort -u | grep pgp_ \ | while read SYM ; \ - do git grep -q "$$SYM" include || echo $$SYM ; \ + do grep -r -q "$$SYM" include || echo $$SYM ; \ done | tee $(CARGO_TARGET_DIR)/debug/.check-headers ; \ ! test -s $(CARGO_TARGET_DIR)/debug/.check-headers |