Searched refs:coredir (Results 1 – 1 of 1) sorted by relevance
222 if [[ ! -d $coredir ]]; then223 echo "core dump directory ($coredir) does not exist, creating it."224 or_die mkdir -p "$coredir"227 if [[ ! -w $coredir ]]; then228 echo "core dump directory ($coredir) is not writable."