summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xscripts/verify-bashisms1
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/verify-bashisms b/scripts/verify-bashisms
index 28795f4cc7..ed0a5631d0 100755
--- a/scripts/verify-bashisms
+++ b/scripts/verify-bashisms
@@ -114,3 +114,4 @@ if __name__=='__main__':
114 for message,source in results: 114 for message,source in results:
115 print(" %s\n %s" % (message, source)) 115 print(" %s\n %s" % (message, source))
116 print() 116 print()
117 tinfoil.shutdown()