diff options
Diffstat (limited to 'test/lint/lint-shell.sh')
| -rwxr-xr-x | test/lint/lint-shell.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/test/lint/lint-shell.sh b/test/lint/lint-shell.sh index ce371455ed..63624e3ae0 100755 --- a/test/lint/lint-shell.sh +++ b/test/lint/lint-shell.sh @@ -23,7 +23,6 @@ disabled=( SC2162 # read without -r will mangle backslashes. ) disabled_gitian=( - SC2001 # See if you can use ${variable//search/replace} instead. SC2094 # Make sure not to read and write the same file in the same pipeline. SC2129 # Consider using { cmd1; cmd2; } >> file instead of individual redirects. SC2230 # which is non-standard. Use builtin 'command -v' instead. |