Skip to content

Commit

Permalink
Merge pull request #66 from scientificworld/main
Browse files Browse the repository at this point in the history
Fixed the problem that _JAVA_OPTIONS cannot be set properly
  • Loading branch information
flemming-n-larsen authored May 2, 2024
2 parents b5b420b + c7ef245 commit b5a297e
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 b5a297e

Please sign in to comment.