diff --git a/tools/check-stdint.sh b/tools/check-stdint.sh
index 66dc1f1f..47db8013 100755
--- 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
\ No newline at end of file