diff options
| author | Wuzzy <wuzzy2@mail.ru> | 2020-05-26 00:17:52 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-26 00:17:52 +0200 |
| commit | 083b285f4319c470f307f0b52f03a2fb68facd38 (patch) | |
| tree | bdd02540ad58756a38606f03a995ab837a176709 /util | |
| parent | b546e8938d41aa9e3101fb9d4d5b02924ed73b60 (diff) | |
| download | minetest-083b285f4319c470f307f0b52f03a2fb68facd38.tar.gz minetest-083b285f4319c470f307f0b52f03a2fb68facd38.tar.bz2 minetest-083b285f4319c470f307f0b52f03a2fb68facd38.zip | |
Rename “Minimal development test” to “Development Test” (#9928)
Diffstat (limited to 'util')
| -rwxr-xr-x | util/test_multiplayer.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/util/test_multiplayer.sh b/util/test_multiplayer.sh index 9ebfe73be..176cf11d9 100755 --- a/util/test_multiplayer.sh +++ b/util/test_multiplayer.sh @@ -1,6 +1,6 @@ #!/bin/bash dir="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" -gameid=minimal +gameid=devtest minetest=$dir/../bin/minetest testspath=$dir/../tests worldpath=$testspath/testworld_$gameid |