Searched refs:HAS_BIB (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-2018-10-04/tools/ | ||
| H A D | run-pdflatex.sh | 85 HAS_BIB= 104 HAS_BIB=Yes ;; 167 if [ -n "$HAS_BIB" ]; then (cd $WORKING_DIR && bibtex $JOB_NAME) && test -r $BBL_FILE || exit; echo run_latex; fi |
Completed in 61 milliseconds