diff options
| author | Ahmed Irfan <irfan@ubuntu.(none)> | 2014-02-11 13:26:43 +0100 |
|---|---|---|
| committer | Ahmed Irfan <irfan@ubuntu.(none)> | 2014-02-11 13:26:43 +0100 |
| commit | 1a2dc48c2ab8a809e345e1e62cc3f81fe7fd9485 (patch) | |
| tree | 77ac37122e5107db08086aab9a319337bc8a6e73 /manual/appnotes.sh | |
| parent | e8f6b8f201c0ead8c17f9c9ae4de3e859e9e13ef (diff) | |
| parent | d2fd45949d0984635c9f1253416281413c03d02b (diff) | |
| download | yosys-1a2dc48c2ab8a809e345e1e62cc3f81fe7fd9485.tar.gz yosys-1a2dc48c2ab8a809e345e1e62cc3f81fe7fd9485.tar.bz2 yosys-1a2dc48c2ab8a809e345e1e62cc3f81fe7fd9485.zip | |
Merge branch 'master' of https://github.com/cliffordwolf/yosys into btor
Diffstat (limited to 'manual/appnotes.sh')
| -rwxr-xr-x | manual/appnotes.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/manual/appnotes.sh b/manual/appnotes.sh index f816956ab..1160af6af 100755 --- a/manual/appnotes.sh +++ b/manual/appnotes.sh @@ -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 |