From 966633aa8192ef285fe3dac05b318a174867b08e Mon Sep 17 00:00:00 2001
From: Adrien Piquerez <adrien.piquerez@gmail.com>
Date: Wed, 14 Jul 2021 10:32:02 +0200
Subject: [PATCH] Fix duplicated -Dsbt.script

---
 sbt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sbt b/sbt
index 990515d6c..7fb865514 100755
--- a/sbt
+++ b/sbt
@@ -300,7 +300,7 @@ addDefaultMemory() {
 }
 
 addSbtScriptProperty () {
-  if [[ "${java_args[@]}" == -Dsbt.script=* ]]; then
+  if [[ "${java_args[@]}" == *-Dsbt.script=* ]]; then
     :
   else
     sbt_script=$0