MOVEDlint: exit 1 in case of error

freebsd · Aug 23, 2022 · abe8863 · abe8863
1 parent 85397ca
commit abe8863
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/Tools/scripts/MOVEDlint.awk b/Tools/scripts/MOVEDlint.awk
@@ -173,4 +173,6 @@ END {
     }
 
     close(sort)
+    if (length(error) > 0)
+	    exit(1)
 }