Searched refs:LOF_FILE (Results 1 - 1 of 1) sorted by last modified time

/barrelfish-2018-10-04/tools/
H A Drun-pdflatex.sh151 LOF_FILE="$WORKING_DIR/${JOB_NAME}.lof"
174 rm -f "$LOT_FILE" "$LOF_FILE" "$GLS_FILE"

Completed in 31 milliseconds