X-Git-Url: http://git.droids-corp.org/?a=blobdiff_plain;f=devtools%2Fget-maintainer.sh;h=b9160486ad0e01b5e5e0b8985531fe262df9b3bb;hb=752fc771e594a808e7840d78c877c6865a9ef960;hp=1e9eabd9595f2695d971220cf556219a71045cfd;hpb=79bf1844cd7874312e3e23d16c8c034df7f72012;p=dpdk.git diff --git a/devtools/get-maintainer.sh b/devtools/get-maintainer.sh index 1e9eabd959..b9160486ad 100755 --- a/devtools/get-maintainer.sh +++ b/devtools/get-maintainer.sh @@ -23,7 +23,8 @@ print_usage () { } # Requires DPDK_GETMAINTAINER_PATH devel config option set -if [ ! -x "$DPDK_GETMAINTAINER_PATH" ] ; then +if [ ! -f "$DPDK_GETMAINTAINER_PATH" ] || + [ ! -x "$DPDK_GETMAINTAINER_PATH" ] ; then print_usage >&2 echo echo 'Cannot execute DPDK_GETMAINTAINER_PATH' >&2