From 59c9a55baa57f0bd746792d507575fe3d180c731 Mon Sep 17 00:00:00 2001
From: Florent Rougon <f.rougon@free.fr>
Date: Fri, 26 Apr 2019 09:29:50 +0200
Subject: [PATCH] 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.
---
 download_and_compile.sh | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/download_and_compile.sh b/download_and_compile.sh
index 83f7438..5c95d95 100755
--- a/download_and_compile.sh
+++ b/download_and_compile.sh
@@ -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
 
 #######################################################