summaryrefslogtreecommitdiffstats
path: root/openpgp-ffi
diff options
context:
space:
mode:
authorJustus Winter <justus@sequoia-pgp.org>2019-10-02 10:48:33 +0200
committerJustus Winter <justus@sequoia-pgp.org>2019-10-02 10:48:33 +0200
commitcada199355db0ebecab2736c3fed299f6c91ad2f (patch)
treeb3e312c146fd94160c01b0fc452b6db753b7acd9 /openpgp-ffi
parent67a983a6e5fb5091a1c3029194accd07f78545ed (diff)
openpgp-ffi: Fix check-headers to not depend on git.
- Fixes #342.
Diffstat (limited to 'openpgp-ffi')
-rw-r--r--openpgp-ffi/Makefile2
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