Commit a1031edc authored by Ari Trachtenberg's avatar Ari Trachtenberg
Browse files

fixes

parent 6db73f44
Loading
Loading
Loading
Loading
+2 −2
Original line number Diff line number Diff line
@@ -60,8 +60,8 @@ benchmark:
    - set -o pipefail
    - |
      set +e
      timeout 300s stdbuf -oL ./extra3 | tee extra3.out
      STATUS=${PIPESTATUS[0]}
      timeout 300s stdbuf -oL ./extra3 > extra3.out
      STATUS=$?
      set -e
      if [ "$STATUS" -eq 255 ]; then
        echo "computed result incorrect - job failed"