From 70e07307699ed1dd4d8019963bfb38df5041c153 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Sat, 4 Jun 2011 16:04:54 +0200
Subject: [PATCH] make latex-first-run successful

---
 latex-first-run.sh | 2 +-
 vbuild-nightly.sh  | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

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 
-- 
2.47.0