Searched refs:LOT_FILE (Results 1 - 1 of 1) sorted by relevance

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

Completed in 28 milliseconds