From d721b925f4ec3b5808061c9c0a82495f528fdb73 Mon Sep 17 00:00:00 2001
From: Michiel Borkent <michielborkent@gmail.com>
Date: Fri, 9 Dec 2022 19:12:16 +0100
Subject: [PATCH] Support --dev-build flag

---
 install | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/install b/install
index a9c0090d..349405b0 100755
--- a/install
+++ b/install
@@ -8,6 +8,7 @@ static_binary="false"
 default_install_dir="/usr/local/bin"
 install_dir="$default_install_dir"
 download_dir=""
+dev_build=""
 
 print_help() {
     echo "Installs latest (or specific) version of babashka. Installation directory defaults to /usr/local/bin."
@@ -56,6 +57,10 @@ do
             static_binary="true"
             shift
             ;;
+        --dev-build)
+            dev_build="true"
+            shift
+            ;;
         *)    # unknown option
             print_help
             shift
@@ -74,7 +79,11 @@ if [[ "$checksum" != "" ]] && [[ "$version" == "" ]]; then
 fi
 
 if [[ "$version" == "" ]]; then
-    version="$(curl -sL https://raw.githubusercontent.com/babashka/babashka/master/resources/BABASHKA_RELEASED_VERSION)"
+    if [[ "$dev_build" == "true" ]]; then
+        version="$(curl -sL https://raw.githubusercontent.com/babashka/babashka/master/resources/BABASHKA_VERSION)"
+    else
+        version="$(curl -sL https://raw.githubusercontent.com/babashka/babashka/master/resources/BABASHKA_RELEASED_VERSION)"
+    fi
 fi
 
 case "$(uname -s)" in