diff options
-rwxr-xr-x | scripts/verify-bashisms | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/verify-bashisms b/scripts/verify-bashisms index 613f174a97..df071e3b90 100755 --- a/scripts/verify-bashisms +++ b/scripts/verify-bashisms | |||
@@ -6,7 +6,7 @@ whitelist = ( | |||
6 | # type is supported by dash | 6 | # type is supported by dash |
7 | 'if type systemctl >/dev/null 2>/dev/null; then', | 7 | 'if type systemctl >/dev/null 2>/dev/null; then', |
8 | 'if type systemd-tmpfiles >/dev/null 2>/dev/null; then', | 8 | 'if type systemd-tmpfiles >/dev/null 2>/dev/null; then', |
9 | 'if type update-rc.d >/dev/null 2>/dev/null; then', | 9 | 'type update-rc.d >/dev/null 2>/dev/null; then', |
10 | 'command -v', | 10 | 'command -v', |
11 | # HOSTNAME is set locally | 11 | # HOSTNAME is set locally |
12 | 'buildhistory_single_commit "$CMDLINE" "$HOSTNAME"', | 12 | 'buildhistory_single_commit "$CMDLINE" "$HOSTNAME"', |