Commit Graph
4 Commits
Author SHA1 Message Date
Robert Schmidt ec2afa22b1 Fix: egrep is obsolescent, use grep -E
See e.g., egrep(1) [https://linux.die.net/man/1/egrep]:

> two variant programs egrep and fgrep are available. egrep is the same
> as grep -E. fgrep is the same as grep -F. Direct invocation as either
> egrep or fgrep is deprecated

See also the rationale of the POSIX description of grep
(https://pubs.opengroup.org/onlinepubs/9699919799/utilities/grep.html):

> This grep has been enhanced in an upwards-compatible way to provide
> the exact functionality of the historical egrep and fgrep commands as
> well. It was the clear intention of the standard developers to
> consolidate the three greps into a single command.

Closes: #839
2024-09-23 12:19:49 +02:00
Raphael Defosseux f6dcc19fe5 style(docker): adding license header to dockerfiles
Signed-off-by: Raphael Defosseux <raphael.defosseux@eurecom.fr>
2024-08-01 10:47:46 +02:00
francescomani 97b3c6bc68 adding --inline-suppr option 2024-04-09 16:55:51 +02:00
Raphael Defosseux 2cfc1a6cdb [CI] adding new cppcheck docker for container CI operations
Signed-off-by: Raphael Defosseux <raphael.defosseux@eurecom.fr>
2021-04-06 17:08:03 +02:00