From 1ce8b2bd5d55c4a3a11a8a069ce1469d0a01536d Mon Sep 17 00:00:00 2001 From: Carlos Goncalves Date: Thu, 19 Apr 2018 15:49:22 +0200 Subject: [PATCH] Exit with error if DIB output dir doesn't exist Change-Id: Ic8ea57cdc753dc9e0a242924bbbf1ad3747a7493 --- diskimage-create/diskimage-create.sh | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/diskimage-create/diskimage-create.sh b/diskimage-create/diskimage-create.sh index 0560f2a676..c6c5b62217 100755 --- a/diskimage-create/diskimage-create.sh +++ b/diskimage-create/diskimage-create.sh @@ -138,6 +138,11 @@ while getopts "a:b:c:d:ehi:l:no:pt:r:s:vw:x" opt; do ;; o) AMP_OUTPUTFILENAME=$(readlink -f $OPTARG) + amp_dir=$(dirname $AMP_OUTPUTFILENAME) + if [ ! -d $amp_dir ]; then + echo "Error: Directory $amp_dir does not exist" + exit 3 + fi ;; p) AMP_PACKAGE_INSTALL=1