git://git.onelab.eu
/
myplc.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
7f5f50c
)
egrep is obsolete
master
author
Thierry Parmentelat
<thierry.parmentelat@inria.fr>
Fri, 15 Dec 2023 13:03:33 +0000
(14:03 +0100)
committer
Thierry 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:
##########
tags:
- find . -type f |
egrep -v
'\.git/|~$$' | xargs etags
+ find . -type f |
grep -v -E
'\.git/|~$$' | xargs etags
.PHONY: tags
.PHONY: tags