- Sort Score
- Result 10 results
- Languages All
Results 1 - 1 of 1 for IGNORE (0.14 sec)
-
common/scripts/report_build_info.sh
if BUILD_GIT_REVISION=$(git rev-parse HEAD 2> /dev/null); then if [[ -z "${IGNORE_DIRTY_TREE}" ]] && [[ -n "$(git status --porcelain 2>/dev/null)" ]]; then BUILD_GIT_REVISION=${BUILD_GIT_REVISION}"-dirty" fi else BUILD_GIT_REVISION=unknown fi # Check for local changes tree_status="Clean" if [[ -z "${IGNORE_DIRTY_TREE}" ]] && ! git diff-index --quiet HEAD --; then tree_status="Modified" fi
Shell Script - Registered: Wed May 08 22:53:08 GMT 2024 - Last Modified: Tue May 23 17:08:31 GMT 2023 - 1.9K bytes - Viewed (0)