diff options
Diffstat (limited to 'usr/src/tools/scripts/nightly.sh')
| -rw-r--r-- | usr/src/tools/scripts/nightly.sh | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/usr/src/tools/scripts/nightly.sh b/usr/src/tools/scripts/nightly.sh index 8641236b6c..56fdab5d77 100644 --- a/usr/src/tools/scripts/nightly.sh +++ b/usr/src/tools/scripts/nightly.sh @@ -1543,6 +1543,19 @@ fi [[ -d "${CODEMGR_WS}" ]] || fatal_error "Error: ${CODEMGR_WS} is not a directory." [[ -f "${CODEMGR_WS}/usr/src/Makefile" ]] || fatal_error "Error: ${CODEMGR_WS}/usr/src/Makefile not found." +TMPFILE=/tmp/tmp.nightly.$$ +if [[ -n "${BUILDVERSION_EXEC}" ]]; then + ${BUILDVERSION_EXEC} >$TMPFILE || \ + fatal_error "${BUILDVERSION_EXEC} failed" +else + echo "version unset" >$TMPFILE +fi + +if ! cmp $TMPFILE $SRC/buildversion >/dev/null 2>&1; then + mv $TMPFILE $SRC/buildversion +fi +rm -f $TMPFILE + if [[ "$t_FLAG" = "y" ]]; then set_non_debug_build_flags bootstrap_tools || fatal_error "Error: could not bootstrap tools" |