diff options
author | William Hubbs <w.d.hubbs@gmail.com> | 2014-07-11 14:50:20 -0500 |
---|---|---|
committer | William Hubbs <w.d.hubbs@gmail.com> | 2014-07-11 15:04:06 -0500 |
commit | d0040aff0aa033fd5d5c40480008e98ee5e1f11a (patch) | |
tree | 2ee2881a1b90d09a8f7cc23e1909557b0553feb0 /sh/gendepends.sh.in | |
parent | 75e06d85584fc3ebfa26fbca97ea60b687247bb0 (diff) |
checkpath: report an error if required options were not specified
Before this commit, not specifying -d, -f, -p or -W in a checkpath
command meant the command exited successfully but actually did nothing.
This is an error condition, so report it as such.
Diffstat (limited to 'sh/gendepends.sh.in')
0 files changed, 0 insertions, 0 deletions