Skip to content
Snippets Groups Projects
Commit 89d15f57 authored by Jean-Michel Picod's avatar Jean-Michel Picod
Browse files

Fix tput stopping the workflow

parent 11134101
No related branches found
No related tags found
No related merge requests found
......@@ -13,10 +13,11 @@
# See the License for the specific language governing permissions and
# limitations under the License.
set -ex
# Ensure the script doesn't fail on Github workflows
export TERM=${TERM:-vt100}
done_text="$(tput bold)DONE.$(tput sgr0)"
set -ex
# Check that rustup and pip3 are installed
check_command () {
......@@ -32,8 +33,6 @@ check_command pip3
# Ensure the submodules are pulled and up-to-date
git submodule update --init
done_text="$(tput bold)DONE.$(tput sgr0)"
patch_conflict_detected () {
cat <<EOF
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment