From 46cad140523b075cbba52d9bf39aa643bcf35cfb Mon Sep 17 00:00:00 2001
From: apio <blobs.trading@gmail.com>
Date: Sun, 20 Nov 2022 18:57:22 +0100
Subject: [PATCH] Print "All files OK" when all files are using correct types

---
 tools/check-stdint.sh | 2 ++
 1 file changed, 2 insertions(+)

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