| <html xmlns="http://www.w3.org/1999/xhtml"> |
<html xmlns="http://www.w3.org/1999/xhtml"> |
| <head> |
<head> |
| <title>$1</title> |
<title>$1</title> |
| <link href="$root/scripts/results.css" rel="stylesheet" type="text/css"/> |
<link href="$2" rel="stylesheet" type="text/css"/> |
| </head> |
</head> |
| <body> |
<body> |
| <table> |
<table> |
| EOF |
EOF |
| } |
} |
| |
|
| |
find_css () |
| |
{ |
| |
css="results.css"; |
| |
|
| |
while [ "$PWD" != "/" ] && [ ! -r "results.css" ]; do |
| |
cd ..; |
| |
css="../$css"; |
| |
done |
| |
|
| |
echo "$css"; |
| |
} |
| |
|
| # ----------------------------------------------------------------------------- |
# ----------------------------------------------------------------------------- |
| |
|
| dir=$1; |
dir=$1; |
| |
|
| status 1 "collecting results"; |
status 1 "collecting results"; |
| |
|
| make_header "Results" > index.html; |
cp "$root/scripts/results.css" .; |
| |
make_header "Results" $(find_css) > index.html; |
| |
|
| find $dir -type d | while read dir; do |
find $dir -type d | while read dir; do |
| ( |
( |
| |
|
| ls speed_* &> /dev/null || exit; |
ls speed_* &> /dev/null || exit; |
| |
|
| make_header "Results" > index.html; |
make_header "Results" $(find_css) > index.html; |
| |
|
| first=true; |
first=true; |
| "$root/scripts/tabulate" speed_* | sort -n | while read line; do |
"$root/scripts/tabulate" speed_* | sort -n | while read line; do |