From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Sat, 4 Jun 2011 14:04:54 +0000 (+0200)
Subject: make latex-first-run successful
X-Git-Tag: 5.0-rc22~56
X-Git-Url: http://git.onelab.eu/?a=commitdiff_plain;h=70e07307699ed1dd4d8019963bfb38df5041c153;p=build.git

make latex-first-run successful
---

diff --git a/latex-first-run.sh b/latex-first-run.sh
index 95dc8702..27943e84 100755
--- a/latex-first-run.sh
+++ b/latex-first-run.sh
@@ -10,4 +10,4 @@ I can't find the format file pdflatex.fmt!
 EOF
 latex latex-dummy < /dev/null >& /dev/null
 pdflatex latex-dummy < /dev/null >& /dev/null
-
+exit 0
diff --git a/vbuild-nightly.sh b/vbuild-nightly.sh
index 00e8e675..739bf1b1 100755
--- a/vbuild-nightly.sh
+++ b/vbuild-nightly.sh
@@ -217,7 +217,7 @@ function build () {
     MAKEVARS=("BASE=${BASE}" "${MAKEVARS[@]}")
 
     # initialize latex
-    /build/latex-first-run.sh
+    /build/latex-first-run.sh || :
 
     # stage1
     make -C /build $DRY_RUN "${MAKEVARS[@]}" stage1=true