Merge branch 'dev' of https://github.com/sonic-pi-net/sonic-pi into dev

Author: samaaron

app/linux-config.sh

@@ -4,7 +4,7 @@ SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
 WORKING_DIR="$(pwd)"
 
 args=("$@")
-config=""
+config="Release"
 no_imgui=false
 system_libs=false
 

app/mac-config.sh

@@ -4,7 +4,7 @@ SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
 WORKING_DIR="$(pwd)"
 
 args=("$@")
-config=""
+config="Release"
 no_imgui=false
 
 # extract options and their arguments into variables.

app/pi-config.sh

@@ -4,7 +4,7 @@ SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
 WORKING_DIR="$(pwd)"
 
 args=("$@")
-config=""
+config="Release"
 no_imgui=false
 system_libs=false