Mysterious Heisenbug involving pdflatex on Koji's F-13 build servers

[Nikola Pajkovsky]

On Monday, November 15, 2010 04:06:40 pm Michel Alexandre Salim wrote:
> On Mon, 15 Nov 2010 00:55:42 +0000, Pierre Carrier wrote:
> > On Sun, Nov 14, 2010 at 21:23, Michel Alexandre Salim
> > 
> > <salimma at fedoraproject.org> wrote:
> >> Rebuilding the same package without any change fixes the issue. Anyone
> >> has any idea what's going on here?
> > 
> > No idea, but you might be on the way to an hexadecimal dollar!
> 
> Well, it gets worse: on EL-6 the problem is actually reproducible (tried
> it twice already):
> 
> http://koji.fedoraproject.org/koji/taskinfo?taskID=2601915
> 
> Do I get my hexa dollar? :)

+ ./run.sh
+ tee testlog.txt
RUNNING TEST 1...
0a1,269
> kpathsea: Running mktexfmt pdflatex.fmt
> fmtutil: running `pdftex -ini   -jobname=pdflatex -progname=pdflatex -
translate-file=cp227.tcx *pdflatex.ini' ...
...
...
...
>   181 for language 0
> No pages of output.
> Transcript written on pdflatex.log.
> fmtutil: /builddir/.texlive2007/texmf-var/web2c/pdftex/pdflatex.fmt 
installed.
RUNNING TEST 2...
OK
RUNNING TEST 3...
OK
RUNNING TEST 4...
OK
RUNNING TEST 5...
OK
++ grep '^OK' testlog.txt
++ wc -l
+ '[' 4 == 5 ']'

Looks like *RUNNING TEST 1...* doesn't print OK.
-- 
Nikola