source:
benchmark/jenkins.sh
@
43e0949
Last change on this file since 43e0949 was 8f99233, checked in by , 6 years ago | |
---|---|
|
|
File size: 168 bytes |
Line | |
---|---|
1 | #!/bin/bash |
2 | |
3 | set -o pipefail |
4 | |
5 | GitNewRef=$1 |
6 | Architecture=$2 |
7 | Out=$3 |
8 | |
9 | make --no-print-directory -C benchmark jenkins githash=${GitNewRef} arch=${Architecture} | tee ${Out} |
Note: See TracBrowser
for help on using the repository browser.