source: benchmark/jenkins.sh

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(add) @8f99233   6 years Thierry Delisle Second attempt at pipefail using an external script. closes #110 ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprno_listpersistent-indexerpthread-emulationqualifiedEnum
Note: See TracRevisionLog for help on using the revision log.