| #!/bin/sh |
#!/bin/sh |
| |
|
| [ -z "$BASH_VERSION" ] && (which bash > /dev/null 2>&1) && exec bash $0; |
[ -z "$BASH_VERSION" ] && (which bash > /dev/null 2>&1) && exec bash $0 $*; |
| |
|
| # ----------------------------------------------------------------------------- |
# ----------------------------------------------------------------------------- |
| |
|
| |
|
| EOF |
EOF |
| |
|
| ./scripts/configure; |
root=$(cd $(dirname $(which "$0")) && pwd); |
| ./scripts/run; |
cd "$root"; |
| |
|
| |
reports="reports-$HOSTNAME"; |
| |
|
| |
mkdir -p "$reports" |
| |
|
| |
./scripts/configure || exit 1; |
| |
|
| |
cd "$reports"; |
| |
|
| |
"$root/scripts/run" ..; |
| |
"$root/scripts/collect"; |
| |
|
| |
cd ..; |
| |
|
| |
tar -czf "$reports.tar.gz" "$reports" \ |
| |
&& echo "The results have been archived in $reports.tar.gz"; |