- Sort Score
- Result 10 results
- Languages All
Results 1 - 1 of 1 for Thirty (0.23 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 01 22:53:12 GMT 2024 - Last Modified: Tue May 23 17:08:31 GMT 2023 - 1.9K bytes - Viewed (0)