RIOT-OS/RIOT
RIOT-OS/RIOT
1
0
Fork 0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2024-12-29 04:50:03 +01:00
Code Releases Activity

dist/tools/doccheck: Fix grep warning

Browse Source 
Fix `grep: warning: stray \ before -` warnings.
This commit is contained in:
Marian Buschsieweke 2023-01-31 10:47:33 +01:00 committed by Karl Fessel
parent b0fc3e5814
commit 7868963cc3
2 changed files with 3512 additions and 3512 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
dist/tools/doccheck/create_pattern.sh vendored
View File

@ -13,5 +13,5 @@
#
sed -E -e "s#^(.*:)([0-9]+): #\1DIGITS_MAGIC: #" \
-e 's/[]\\.$*{}|+?()[^-]/\\&/g' \
-e 's/[]\\.$*{}|+?()[^]/\\&/g' \
-e 's/:DIGITS_MAGIC:/:[0-9]+:/'

7022
dist/tools/doccheck/exclude_patterns vendored
View File

File diff suppressed because it is too large Load Diff