2 dir="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
3 gameid=${gameid:-devtest}
4 minetest=$dir/../bin/minetest
5 testspath=$dir/../tests
6 conf_server=$testspath/server.conf
7 worldpath=$testspath/world
10 if [ -n "$PERF" ]; then
11 perf record -z --call-graph dwarf -- "$@"
17 [ -e "$minetest" ] || { echo "executable $minetest missing"; exit 1; }
20 mkdir -p "$worldpath/worldmods"
22 settings=(sqlite_synchronous=0 helper_mode=mapgen)
23 [ -n "$PROFILER" ] && settings+=(profiler_print_interval=15)
24 printf '%s\n' "${settings[@]}" >"$testspath/server.conf" \
26 ln -s "$dir/helper_mod" "$worldpath/worldmods/"
28 args=(--config "$conf_server" --world "$worldpath" --gameid $gameid)
29 [ -n "$PROFILER" ] && args+=(--verbose)
30 run "$minetest" --server "${args[@]}"