Print "All files OK" when all files are using correct types

2022-11-20 18:57:22 +01:00 · 2022-11-20 18:57:22 +01:00 · 46cad14052
commit 46cad14052
parent f982152caa
1 changed files with 2 additions and 0 deletions
--- a/tools/check-stdint.sh
+++ b/tools/check-stdint.sh
@ -39,4 +39,6 @@ done
 if [ "$SUCCESS" = "0" ]
 then
 exit 1
+else
+echo All files OK
 fi