| 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/env_${CMAKE_CONFIGURATION}.sh"; then | |
| source ".gitlab/ci/env_${CMAKE_CONFIGURATION}.sh" | |
| fi |