download_and_compile.sh: log whether this is a "stable build"

Log "Stable build: yes" or "Stable build: no" depending on whether
option -s has been passed.
This commit is contained in:
Florent Rougon 2019-04-26 09:29:50 +02:00
parent 92f566f1d3
commit 59c9a55baa

View File

@ -585,6 +585,13 @@ _log "BUILD_TYPE=$BUILD_TYPE"
_log "SG_CMAKEARGS=$SG_CMAKEARGS"
_log "FG_CMAKEARGS=$FG_CMAKEARGS"
_log "DIRECTORY=$CBD"
if [ "$STABLE" = "STABLE" ]; then
_log "Stable build: yes"
else
_log "Stable build: no"
fi
_logSep
#######################################################