diff options
| -rw-r--r-- | dist/checkman.awk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dist/checkman.awk b/dist/checkman.awk index 17e91e9d..20081d5a 100644 --- a/dist/checkman.awk +++ b/dist/checkman.awk @@ -43,6 +43,7 @@ BEGIN { Omitman["prof(1)"] = 1 Omitman["pwd(1)"] = 1 Omitman["qiv(1)"] = 1 + Omitman["sftp(1)"] = 1 Omitman["sh(1)"] = 1 Omitman["ssh(1)"] = 1 Omitman["stty(1)"] = 1 |