diff-manifests.sh: Use shared_lib for greenprint and redprint

This commit is contained in:
Brian C. Lane 2022-11-11 12:03:31 -08:00 committed by Ondřej Budai
parent 560905108c
commit 050403fbe4

View file

@ -1,11 +1,8 @@
#!/usr/bin/env bash
set -euo pipefail
# Colorful timestamped output.
function greenprint {
echo -e "\033[1;32m[$(date -Isecond)] ${1}\033[0m"
}
# NOTE: This script is executed differently in .gitlab-ci.yml so use a relative path
source ./test/cases/shared_lib.sh
function revert_to_head {
git checkout "$head"