summaryrefslogtreecommitdiff
path: root/devtools
diff options
context:
space:
mode:
authorJuhamatti Kuusisaari <juhamatti.kuusisaari@coriant.com>2018-04-19 15:00:02 +0300
committerThomas Monjalon <thomas@monjalon.net>2018-05-23 00:33:35 +0200
commit515e92ebb6b1cc29756fa5a6067655a24468a4d1 (patch)
tree806dc24ce57c0e17a2e28f0d3ee7d68fd2105c69 /devtools
parent5a141fb494bf3dc22fe3a8a75722c5cb95e86073 (diff)
downloaddpdk-515e92ebb6b1cc29756fa5a6067655a24468a4d1.zip
dpdk-515e92ebb6b1cc29756fa5a6067655a24468a4d1.tar.gz
dpdk-515e92ebb6b1cc29756fa5a6067655a24468a4d1.tar.xz
devtools: check Linux script path if directory
Handle properly a case where the path (DPDK_PATCH_PATH or DPDK_MAINTAINER_PATH) is set to point to a directory. Signed-off-by: Juhamatti Kuusisaari <juhamatti.kuusisaari@coriant.com> Reviewed-by: Ferruh Yigit <ferruh.yigit@intel.com>
Diffstat (limited to 'devtools')
-rwxr-xr-xdevtools/checkpatches.sh2
-rwxr-xr-xdevtools/get-maintainer.sh3
2 files changed, 3 insertions, 2 deletions
diff --git a/devtools/checkpatches.sh b/devtools/checkpatches.sh
index 7676a6b..2bb5458 100755
--- a/devtools/checkpatches.sh
+++ b/devtools/checkpatches.sh
@@ -75,7 +75,7 @@ while getopts hn:qv ARG ; do
done
shift $(($OPTIND - 1))
-if [ ! -x "$DPDK_CHECKPATCH_PATH" ] ; then
+if [ ! -f "$DPDK_CHECKPATCH_PATH" ] || [ ! -x "$DPDK_CHECKPATCH_PATH" ] ; then
print_usage >&2
echo
echo 'Cannot execute DPDK_CHECKPATCH_PATH' >&2
diff --git a/devtools/get-maintainer.sh b/devtools/get-maintainer.sh
index 1e9eabd..b916048 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