diff --git a/tools/push.sh b/tools/push.sh
index 5f6f839..cd96a51 100644
--- 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"