diff options
author | a1346054 <36859588+a1346054@users.noreply.github.com> | 2022-10-01 10:32:17 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-10-01 03:32:17 -0700 |
commit | 930cd9081af01c8f2f4bc506cd0123f3862e11ba (patch) | |
tree | 397f75a599d64af441a437a7e566e6e64ddcac2e | |
parent | 3549ee8342e1bf971a1103341595a2690a152a09 (diff) |
Use `grep -E` instead of `egrep` (#1436)
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -34,7 +34,7 @@ default: list-tasks list-tasks: @echo Available tasks: @echo ---------------- - @$(MAKE) -pRrq -f $(lastword $(MAKEFILE_LIST)) : 2>/dev/null | awk -v RS= -F: '/^# File/,/^# Finished Make data base/ {if ($$1 !~ "^[#.]") {print $$1}}' | sort | egrep -v -e '^[^[:alnum:]]' -e '^$@$$' + @$(MAKE) -pRrq -f $(lastword $(MAKEFILE_LIST)) : 2>/dev/null | awk -v RS= -F: '/^# File/,/^# Finished Make data base/ {if ($$1 !~ "^[#.]") {print $$1}}' | sort | grep -E -v -e '^[^[:alnum:]]' -e '^$@$$' @echo |