aboutsummaryrefslogtreecommitdiff
path: root/scripts/clint.sh
diff options
context:
space:
mode:
Diffstat (limited to 'scripts/clint.sh')
-rwxr-xr-xscripts/clint.sh6
1 files changed, 5 insertions, 1 deletions
diff --git a/scripts/clint.sh b/scripts/clint.sh
index 1453411e1c..55eb5c9394 100755
--- a/scripts/clint.sh
+++ b/scripts/clint.sh
@@ -1,5 +1,9 @@
#!/bin/sh
for file in $(cat clint-files.txt); do
- ./clint.py $file
+ ./clint.py $file || fail=1
done
+
+if [ -n "$fail" ]; then
+ exit 1
+fi