Project

General

Profile

Feature #1199 » 0002-generate_gitrev.sh-Do-not-require-tail-nor-wc.patch

S2_6 - Marko Lindqvist, 12/23/2024 11:18 PM

View differences:

bootstrap/generate_gitrev.sh
# Check that all commands required by this script are available
# If not, we will not claim to know which git revision this is
# (REVSTATE will be OFF)
if command -v git && command -v tail && command -v wc ; then
if command -v git ; then
REVTMP="$(git rev-parse --short HEAD 2>/dev/null)"
if test "x$REVTMP" != "x" ; then
# This is git repository. Check for local modifications
(2-2/2)