| 12345678910 |
- #!/bin/bash
- # Save path the current path that will be used to store the results.
- BASE_PATH=$(pwd)
- # Enter in the directory passed as first parameter, then execute run and save the results in the file passed as second parameter
- cd $1
- BENCH_NAME=$1
- BENCH_TIME=`(/usr/bin/time -f "%e" ./run) 2>&1 > /dev/null | tail -1`
- echo "$BENCH_NAME $BENCH_TIME" >> $BASE_PATH/$2
|
