make latex-first-run successful
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Sat, 4 Jun 2011 14:04:54 +0000 (16:04 +0200)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Sat, 4 Jun 2011 14:04:54 +0000 (16:04 +0200)
latex-first-run.sh
vbuild-nightly.sh

index 95dc870..27943e8 100755 (executable)
@@ -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
index 00e8e67..739bf1b 100755 (executable)
@@ -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