luke
/
sbt
mirror of https://github.com/sbt/sbt.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Fix duplicated -Dsbt.script

This commit is contained in:
Adrien Piquerez 2021-07-14 10:32:02 +02:00
parent 2287f3e384
commit 966633aa81
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
sbt
View File

@ -300,7 +300,7 @@ addDefaultMemory() {
}
addSbtScriptProperty () {
if [[ "${java_args[@]}" == -Dsbt.script=* ]]; then
if [[ "${java_args[@]}" == *-Dsbt.script=* ]]; then
:
else
sbt_script=$0