diff --git a/.ci/test.sh b/.ci/test.sh index 6bf8f9bc3..9925642b1 100755 --- a/.ci/test.sh +++ b/.ci/test.sh @@ -19,7 +19,7 @@ make_target() { pushd "${script_dir}/.." >>/dev/null - if [ -n "${CI}" ] && ! git whatchanged origin/master..HEAD "${dir}" | grep "${dir}" >>/dev/null; then + if ! git diff --name-only origin/master..HEAD ${dir} | grep ${dir}; then echo "Not changes in ${dir}" return fi