diff --git a/tools/packaging/scripts/lib.sh b/tools/packaging/scripts/lib.sh index 86698ee262..eed0fe9f01 100644 --- a/tools/packaging/scripts/lib.sh +++ b/tools/packaging/scripts/lib.sh @@ -113,4 +113,19 @@ get_config_version() { else die "failed to find ${config_version_file}" fi -} \ No newline at end of file +} + +# $1 - Repo's root dir +# $2 - The file we're looking for the last modification +get_last_modification() { + local repo_root_dir="${1}" + local file="${2}" + + # This is a workaround needed for when running this code on Jenkins + git config --global --add safe.directory ${repo_root_dir} &> /dev/null + + dirty="" + [ $(git status --porcelain | grep "${file}" | wc -l) -gt 0 ] && dirty="-dirty" + + echo "$(git log -1 --pretty=format:"%H" ${file})${dirty}" +}