RIOT-OS/RIOT
RIOT-OS/RIOT
1
0
Fork 0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2024-12-28 23:49:47 +01:00
Code Releases Activity

Merge pull request #21044 from miri64/tools/enh/examples/README.md

Browse Source 
check_in_readme.sh: tell dev _which_ README.md
This commit is contained in:
mguetschow 2024-11-26 20:39:06 +00:00 committed by GitHub
commit df63e81883
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
dist/tools/examples_check/check_in_readme.sh vendored
View File

@ -19,10 +19,10 @@ done
# Report missing entries
if [ ${#missing_entries[@]} -eq 0 ]; then
echo "All directories are listed in the README.md file."
echo "All directories are listed in the examples/README.md file."
exit 0
else
echo "The following directories are missing in the README.md file:"
echo "The following directories are missing in the examples/README.md file:"
for entry in "${missing_entries[@]}"; do
echo "- $entry"
done