+ ## Set DIR_TMP_PARENT to user-specified value if specified
+ if [[ "$OPTION_TMPDIR" = "true" ]]; then
+ if [[ -d "$TMP_DIR_PRIORITY" ]]; then
+ DIR_TMP_PARENT="$OPTION_TMPDIR";
+ else
+ yell "WARNING:Specified temporary working directory not valid:$OPTION_TMP_DIR";
+ exit 1;
+ fi
+ fi
+
+ ## Set DIR_TMP_PARENT to default or fallback otherwise