diff options
Diffstat (limited to 'check/sh')
-rwxr-xr-x | check/sh | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/check/sh b/check/sh deleted file mode 100755 index ec3ba339..00000000 --- a/check/sh +++ /dev/null @@ -1,6 +0,0 @@ -#!/bin/sh -for sh in sh/* sh/profile.d/* sh/shrc.d/* ; do - [ -f "$sh" ] || continue - sh -n "$sh" || exit -done -printf 'All sh(1) scripts parsed successfully.\n' |