mirror of
https://github.com/YosysHQ/yosys
synced 2025-07-24 13:18:56 +00:00
Improved "make manual" and "make clean"
This commit is contained in:
parent
fb186e6299
commit
4bd2d47e45
4 changed files with 13 additions and 9 deletions
|
@ -11,7 +11,7 @@ do
|
|||
fi
|
||||
old_md5=$([ -f $job.aux ] && md5sum < $job.aux || true)
|
||||
while
|
||||
pdflatex -shell-escape -halt-on-error $job.tex
|
||||
pdflatex -shell-escape -halt-on-error $job.tex || exit
|
||||
new_md5=$(md5sum < $job.aux)
|
||||
[ "$old_md5" != "$new_md5" ]
|
||||
do
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue