You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
D=$( dirname $( readlink -f "${BASH_SOURCE[0]}" )) ## which was removed because of on our windows CI 'which' prints nothing if did not find in arg in PATH
source "$D/git-rev-label.sh" "$@"
temppath=`mktemp`
echo "$revision" >$temppath
## Write to file only if there are changes
if diff --brief "$temppath" "$TargetFile" &>/dev/null ;then