1 2 3 4 5 6 7 8 9 10 11
#!/bin/sh HOST="$(hostname)" echo $HOST make clean make run_O0 | sed 's/CPU/CPU O0/' | tee "${HOST}-O0.txt" make run_O2 | sed 's/CPU/CPU O2/' | tee "${HOST}-O2.txt"