From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Fri, 15 Dec 2023 13:03:33 +0000 (+0100)
Subject: egrep is obsolete
X-Git-Url: http://git.onelab.eu/?a=commitdiff_plain;h=efa640cc260f593e67b92228b590b4f177860d6b;hp=7f5f50cfff0be06e28ecf4ff2e3a1aa8cfc27dd6;p=myplc.git

egrep is obsolete
---

diff --git a/Makefile b/Makefile
index dc89c4c..94535bf 100644
--- a/Makefile
+++ b/Makefile
@@ -1,6 +1,6 @@
 ##########
 tags:
-	find . -type f | egrep -v '\.git/|~$$' | xargs etags
+	find . -type f | grep -v -E '\.git/|~$$' | xargs etags
 
 .PHONY: tags