blob: ae7beda6facd4cda5302f39c30a887b722963c00 [file] [log] [blame]
Jan Kundrátd9d26a92018-02-22 12:49:21 +01001#!/bin/bash
2BUILD_TIMEOUT=30m
3timeout -k $BUILD_TIMEOUT $BUILD_TIMEOUT $TH_GIT_PATH/ci/do-build.sh