Check for DUMP_DIR existence
Signed-off-by: Evan Lloyd New-Schmidt <evan@new-schmidt.com>
This commit is contained in:
parent
4c2c6e97ff
commit
af80f2ad75
1 changed files with 5 additions and 0 deletions
|
@ -34,6 +34,11 @@ fi
|
|||
DUMP_DIR=$(readlink -f "$1")
|
||||
shift
|
||||
|
||||
if [ ! -d "$DUMP_DIR" ]; then
|
||||
echo "DUMP_DIR '$DUMP_DIR' does not exist" >&2
|
||||
exit 1
|
||||
fi
|
||||
|
||||
# Ensure we're running in the directory of this script.
|
||||
SCRIPT_PATH=$(dirname "$0")
|
||||
cd "$SCRIPT_PATH"
|
||||
|
|
Loading…
Add table
Reference in a new issue