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

/barrelfish-2018-10-04/tools/
H A Drun-pdflatex.sh156 ALG_FILE="$WORKING_DIR/${JOB_NAME}.alg"
175 rm -f "$GLG_FILE" "$ACR_FILE" "$ALG_FILE"

Completed in 35 milliseconds