#!/bin/bash set -e quietly() { readonly log="/tmp/quietly-$RANDOM.log" if ! "$@" >"$log" 2>&1; then ret=$? cat "$log" rm -f "$log" exit $ret fi rm -f "$log" } if test -r ".gitlab/ci/pre_build_${CMAKE_CONFIGURATION}.sh"; then source ".gitlab/ci/pre_build_${CMAKE_CONFIGURATION}.sh" fi