source: benchmark/jenkins.sh@ 8e70823

ADT aaron-thesis arm-eh ast-experimental cleanup-dtors enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr persistent-indexer pthread-emulation qualifiedEnum
Last change on this file since 8e70823 was 8f99233, checked in by Thierry Delisle <tdelisle@…>, 7 years ago

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

  • Property mode set to 100755
File size: 168 bytes
Line 
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.