From 1723a800cf08d55cbbbb2578b69425be1f8c7824 Mon Sep 17 00:00:00 2001 From: GangCao Date: Thu, 8 Mar 2018 18:02:09 -0500 Subject: [PATCH] configure: handle the assignment of non-existent and specified DIR Change-Id: I13e270cb12c8f2796928c72338e50d30b5c8b08e Signed-off-by: GangCao Reviewed-on: https://review.gerrithub.io/403260 Tested-by: SPDK Automated Test System Reviewed-by: Daniel Verkamp Reviewed-by: Jim Harris --- configure | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/configure b/configure index cfae6db8a..1531ca34c 100755 --- a/configure +++ b/configure @@ -47,6 +47,15 @@ function usage() echo "" } +function check_dir() { + arg="$1" + dir="${arg#*=}" + if [ ! -d "$dir" ]; then + echo "$arg: directory not found" + exit 1 + fi +} + for i in "$@"; do case "$i" in -h|--help) @@ -114,6 +123,7 @@ for i in "$@"; do CONFIG_RDMA=n ;; --with-dpdk=*) + check_dir "$i" CONFIG_DPDK_DIR=$(readlink -f ${i#*=}) ;; --without-dpdk) @@ -130,12 +140,14 @@ for i in "$@"; do ;; --with-nvml=*) CONFIG_NVML=y + check_dir "$i" CONFIG_NVML_DIR=$(readlink -f ${i#*=}) ;; --without-nvml) CONFIG_NVML=n ;; --with-fio=*) + check_dir "$i" FIO_SOURCE_DIR="${i#*=}" CONFIG_FIO_PLUGIN=y ;; @@ -144,6 +156,7 @@ for i in "$@"; do CONFIG_FIO_PLUGIN=n ;; --with-vtune=*) + check_dir "$i" VTUNE_SOURCE_DIR="${i#*=}" CONFIG_VTUNE=y ;;