Searched refs:dev_file (Results 1 – 1 of 1) sorted by relevance
101 typeset dev_file=${DEVICE_DIR}/${DEVICE_FILE}$i102 if [[ ! -e ${dev_file} ]]; then103 log_must rm -f ${dev_file}104 log_must truncate -s $FILE_SIZE ${dev_file}