From 2a9ef10a5f4040b20a2550f45ab5e9ef66739049 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Tue, 31 Oct 2017 17:59:56 -0400 Subject: Fix smithers build --- etc/ci/smithers.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'etc') diff --git a/etc/ci/smithers.sh b/etc/ci/smithers.sh index dafebbda9..2eb804bdd 100755 --- a/etc/ci/smithers.sh +++ b/etc/ci/smithers.sh @@ -6,7 +6,7 @@ cd "$WORKSPACE" export PATH="/opt/coq-$coq_version/bin${PATH:+:}$PATH" . /opt/bashrc/bashrc export TARGETS="coq display bench test" -export TARGETS="coq nonautogenerated-specific nonautogenerated-specific-display bench test" +export TARGETS="coq nonautogenerated-specific nonautogenerated-specific-display" # bench test" # bench and test don't work on smithers rm -f BUILD.ok ((/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) && touch BUILD.ok) 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 -- cgit v1.2.3