Searched refs:HEAD (Results 1 – 1 of 1) sorted by relevance
18 HEAD=$(head -n 1 "$2")25 if [[ "$HEAD" != "$EXPECTED_HEAD" || $MSG_FOUND -ne 0 ]] ; then