diff options
| author | George C A Reid <greid@FreeBSD.org> | 2002-04-22 08:11:14 +0000 |
|---|---|---|
| committer | George C A Reid <greid@FreeBSD.org> | 2002-04-22 08:11:14 +0000 |
| commit | f0f17c9e52ae15f96ad02a84dcca6fd09ed96581 (patch) | |
| tree | 577736f51c3f57c2d0a046f0df9d9f313113214e /bin/sh | |
| parent | 8bc32a6e6c7aed19c0839e8fbf8488dde6dfdd06 (diff) | |
Notes
Diffstat (limited to 'bin/sh')
| -rw-r--r-- | bin/sh/exec.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/bin/sh/exec.c b/bin/sh/exec.c index 714ac36f073d..f5c66acad96d 100644 --- a/bin/sh/exec.c +++ b/bin/sh/exec.c @@ -361,7 +361,10 @@ hashcmd(argc, argv) if (verbose) { if (entry.cmdtype != CMDUNKNOWN) { /* if no error msg */ cmdp = cmdlookup(name, 0); - printentry(cmdp, verbose); + if (cmdp != NULL) + printentry(cmdp, verbose); + else + outfmt(&errout, "%s: not found\n", name); } flushall(); } |