chg - Push a fix for release config

--- Type: chg Breaking: False Doc Required: False Backport Required: False Part: 1/1
Aptivi · Oct 15, 2024 · 108b218 · 108b218
1 parent e560995
commit 108b218
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/tools/push.sh b/tools/push.sh
@@ -27,6 +27,10 @@ checkerror() {
 }
 
 # This script pushes. Use when you have dotnet installed.
+releaseconf=$1
+if [ -z $releaseconf ]; then
+	releaseconf=Release
+fi
 dotnetpath=`which dotnet`
 checkerror $? "dotnet is not found"