f4pga-examples/.github/scripts/git-check.sh
Robert Winkler 60c1ff1596 ci: Move CI scripts to another directory
Signed-off-by: Robert Winkler <rwinkler@antmicro.com>
2020-11-26 18:14:19 +01:00

27 lines
614 B
Bash
Executable file

set -e
source .github/scripts/common.sh
# Output any changes in the repository
# ------------------------------------------------------------------------
start_section git-status "Current git status"
git diff
$SPACER
git status
end_section git-status
# Check there are not changes in the repository
# ------------------------------------------------------------------------
start_section git-check "Checking git repository isn't dirty"
(
. "$(git --exec-path)/git-sh-setup"
require_clean_work_tree "continue" "Please run ``make README.rst`` to generate correct ``README.rst``."
)
end_section git-check