| #!/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 |
| |
|
| |
root=$(cd $(dirname $(which "$0")) && pwd); |
| |
reports="$root/reports-$HOSTNAME"; |
| |
|
| |
mkdir -p "$reports" |
| |
|
| ./scripts/configure; |
./scripts/configure; |
| ./scripts/run; |
|
| |
cd "$reports"; |
| |
|
| |
../scripts/run ..; |
| |
../scripts/collect; |
| |
|