------- Comment #43 from dominiq at lps dot ens dot fr 2010-06-02 18:36 -------
The following variant
#!/bin/sh
i=0
while [ $i != 1000 ]
do
i=`expr $i + 1`
tls.ex
if [ $? != 0 ]
then
echo $i
fi
done
gives
26
84
87
90
266
386
426
587
611
614
617
637
640
647
653
656
962
if the system is idle, but
2
13
14
16
17
20
23
24
26
32
33
35
40
47
50
53
54
56
58
...
900
901
903
906
910
913
914
917
958
961
987
990
996
999
if I am browsing the web site of a newspaper.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43170
