equal
deleted
inserted
replaced
30 do |
30 do |
31 "$THIS/isatest-statistics" "stats/$PLATFORM" "$PLATFORM" 100 $SESSIONS |
31 "$THIS/isatest-statistics" "stats/$PLATFORM" "$PLATFORM" 100 $SESSIONS |
32 cat > "stats/$PLATFORM.html" <<EOF |
32 cat > "stats/$PLATFORM.html" <<EOF |
33 <!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN"> |
33 <!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN"> |
34 <html> |
34 <html> |
35 <head><title> Development Snapshot -- Statistics</title></head> |
35 <head><title>Development Snapshot -- Performance Statistics</title></head> |
36 |
36 |
37 <body> |
37 <body> |
38 <h1>$PLATFORM</h1> |
38 <h1>$PLATFORM</h1> |
39 EOF |
39 EOF |
40 |
40 |