Skip to content

Commit

Permalink
Fixed the problem that _JAVA_OPTIONS cannot be set properly
Browse files Browse the repository at this point in the history
  • Loading branch information
scientificworld committed Apr 27, 2024
1 parent b5b420b commit c7ef245
Show file tree
Hide file tree
Showing 6 changed files with 5 additions and 5 deletions.
2 changes: 1 addition & 1 deletion robocode.content/src/main/resources/meleerumble.sh
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@
#----------------------------------------------------------

# Used for setting Java options
./set_java_options.sh
. ./set_java_options.sh

# Save present work directory (pwd)
pwd=$(pwd)
Expand Down
2 changes: 1 addition & 1 deletion robocode.content/src/main/resources/robocode.sh
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@
#----------------------------------------------------------

# Used for setting Java options
./set_java_options.sh
. ./set_java_options.sh

# Save present work directory (pwd)
pwd=$(pwd)
Expand Down
2 changes: 1 addition & 1 deletion robocode.content/src/main/resources/roborumble.sh
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@
#----------------------------------------------------------

# Used for setting Java options
./set_java_options.sh
. ./set_java_options.sh

# Save present work directory (pwd)
pwd=$(pwd)
Expand Down
Empty file modified robocode.content/src/main/resources/set_java_options.sh
100644 → 100755
Empty file.
2 changes: 1 addition & 1 deletion robocode.content/src/main/resources/teamrumble.sh
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@
#----------------------------------------------------------

# Used for setting Java options
./set_java_options.sh
. ./set_java_options.sh

# Save present work directory (pwd)
pwd=$(pwd)
Expand Down
2 changes: 1 addition & 1 deletion robocode.content/src/main/resources/twinduel.sh
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@
#----------------------------------------------------------

# Used for setting Java options
./set_java_options.sh
. ./set_java_options.sh

# Save present work directory (pwd)
pwd=$(pwd)
Expand Down

0 comments on commit c7ef245

Please sign in to comment.