mirror of
https://github.com/wesnoth/wesnoth
synced 2024-09-20 07:51:33 +00:00
Don't redirect --usercache-path
This commit is contained in:
parent
47aac28db1
commit
fb42d4b5ac
2
.github/workflows/ci-main.yml
vendored
2
.github/workflows/ci-main.yml
vendored
|
@ -123,7 +123,7 @@ jobs:
|
||||||
if: success() || steps.build.outcome == 'success'
|
if: success() || steps.build.outcome == 'success'
|
||||||
run: |
|
run: |
|
||||||
./wesnoth --version
|
./wesnoth --version
|
||||||
for opt in data userdata
|
for opt in data userdata usercache
|
||||||
do
|
do
|
||||||
output=$(./wesnoth --nobanner --"$opt"-path)
|
output=$(./wesnoth --nobanner --"$opt"-path)
|
||||||
if [ "$output" = "" ]; then printf 'option --%s-path prints nothing to stdout!\n' "$opt" >&2; exit 1; fi
|
if [ "$output" = "" ]; then printf 'option --%s-path prints nothing to stdout!\n' "$opt" >&2; exit 1; fi
|
||||||
|
|
|
@ -299,6 +299,7 @@ static int process_command_args(commandline_options& cmdline_opts)
|
||||||
// command line options that imply not redirecting output to a log file
|
// command line options that imply not redirecting output to a log file
|
||||||
&& !cmdline_opts.data_path
|
&& !cmdline_opts.data_path
|
||||||
&& !cmdline_opts.userdata_path
|
&& !cmdline_opts.userdata_path
|
||||||
|
&& !cmdline_opts.usercache_path
|
||||||
&& !cmdline_opts.version
|
&& !cmdline_opts.version
|
||||||
&& !cmdline_opts.simple_version
|
&& !cmdline_opts.simple_version
|
||||||
&& !cmdline_opts.logdomains
|
&& !cmdline_opts.logdomains
|
||||||
|
|
Loading…
Reference in New Issue
Block a user