git://git.onelab.eu / myplc.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 7f5f50c)
egrep is obsolete master
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 15 Dec 2023 13:03:33 +0000 (14:03 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 15 Dec 2023 13:03:33 +0000 (14:03 +0100)
Makefile patch | blob | history

diff --git a/Makefile b/Makefile
index dc89c4c..94535bf 100644 (file)
--- 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
 
myplc