source: benchmark/jenkins.sh @ 80a9898

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprno_listpersistent-indexerpthread-emulationqualifiedEnum
Last change on this file since 80a9898 was 8f99233, checked in by Thierry Delisle <tdelisle@…>, 5 years ago

Second attempt at pipefail using an external script. closes #110

  • Property mode set to 100755
File size: 168 bytes
RevLine 
[8f99233]1#!/bin/bash
2
3set -o pipefail
4
5GitNewRef=$1
6Architecture=$2
7Out=$3
8
9make --no-print-directory -C benchmark jenkins githash=${GitNewRef} arch=${Architecture} | tee ${Out}
Note: See TracBrowser for help on using the repository browser.