From 9279ff69732ca873758365518de8105c250ecd23 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Tue, 10 Oct 2017 19:23:13 -0400 Subject: Add etc/ci/smithers.sh for smithers testing --- etc/ci/smithers.sh | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100755 etc/ci/smithers.sh (limited to 'etc') diff --git a/etc/ci/smithers.sh b/etc/ci/smithers.sh new file mode 100755 index 000000000..9109251b2 --- /dev/null +++ b/etc/ci/smithers.sh @@ -0,0 +1,11 @@ +#!/usr/bin/bash + +set -exo pipefail + +cd "$WORKSPACE" +export PATH="/opt/coq-$coq_version/bin${PATH:+:}$PATH" +. /opt/bashrc/bashrc +export TARGETS="coq display bench test" +(/opt/timeout/default-timeout make -j$(nproc) TIMED=1 PROFILE=1 $TARGETS || make STDTIME='/opt/timeout/time-default-timeout-coq -f "$* (real: %e, user: %U, sys: %S, mem: %M ko)"' TIMED=1 PROFILE=1 $TARGETS) 2>&1 | tee time-of-build.log +python ./etc/coq-scripts/timing/make-one-time-file.py time-of-build.log time-of-build-pretty.log +cat time-of-build-pretty.log -- cgit v1.2.3