diff options
Diffstat (limited to '.github/scripts/pre_check.sh')
-rwxr-xr-x | .github/scripts/pre_check.sh | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/.github/scripts/pre_check.sh b/.github/scripts/pre_check.sh new file mode 100755 index 000000000..0b283b88c --- /dev/null +++ b/.github/scripts/pre_check.sh @@ -0,0 +1,18 @@ +#! /bin/bash +# This script is used in release-it as hook +# Change how this script is triggered by editing .release-it.json +# NOTE: Please make sure working directory is in root of repo + +set -e + +file_list=$(cat .github/files_to_copy) +for f in $file_list +do + echo "**** checking $f ****" + if [ ! -f $f ] && [ ! -d $f ]; then + echo "**** $f doesn't exist, skipping release ****" + exit 1 + fi +done + +echo "**** pre-check is finished ****"
\ No newline at end of file |