Merge pull request #1894 from YosysHQ/mingw_fix

[yosys.git] / manual / presentation.sh

diff --git a/manual/presentation.sh b/manual/presentation.sh
index 980e177232d38abbb9f73da8faae13c2bd732e2d..ca8a6c93c10af9f229ab7258799f380b6aa6b224 100755 (executable)
--- a/manual/presentation.sh
+++ b/manual/presentation.sh
@@ -24,8 +24,10 @@ done
 
 PDFTEX_OPT="-shell-escape -halt-on-error"
 
+set -ex
+
 if ! $fast_mode; then
-       md5sum *.aux *.snm *.nav *.toc > autoloop.old
+       ! md5sum *.aux *.snm *.nav *.toc > autoloop.old
        make -C PRESENTATION_Intro
        make -C PRESENTATION_ExSyn
        make -C PRESENTATION_ExAdv