Merge pull request #5940 from DieHertz/get-rid-of-pcre-grep

Replaced PCRE with egrep for macOS users
This commit is contained in:
Michael Keller 2018-05-23 22:13:57 +12:00 committed by GitHub
commit 7455de4859
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -477,7 +477,7 @@ test junittest:
check-target-independence:
$(V1) for test_target in $(VALID_TARGETS); do \
FOUND=$$(grep -rP "\W$${test_target}\W?" src/main/ | grep -vP "(\/\/)|(\/\*).*\W$${test_target}\W?" | grep -vP "^src/main/target"); \
FOUND=$$(grep -rE "\W$${test_target}\W?" src/main | grep -vE "(//)|(/\*).*\W$${test_target}\W?" | grep -vE "^src/main/target"); \
if [ "$${FOUND}" != "" ]; then \
echo "Target dependencies found:"; \
echo "$${FOUND}"; \