mirror of
https://github.com/wesnoth/wesnoth
synced 2025-04-30 17:26:06 +00:00
Don't attempt every WML test if binary missing
This commit is contained in:
parent
249792e08d
commit
94d3d5aec6
@ -274,6 +274,19 @@ shift $(($OPTIND - 1))
|
|||||||
|
|
||||||
extra_opts+="$*"
|
extra_opts+="$*"
|
||||||
|
|
||||||
|
# Make sure the binary exists
|
||||||
|
if [ "$DebugMode" -eq 1 ]; then
|
||||||
|
if [ "! ( -f $BinPath/wesnoth-debug -a -x $BinPath/wesnoth-debug )" ]; then
|
||||||
|
echo "Wesnoth binary not found at $BinPath/wesnoth-debug"
|
||||||
|
exit 1
|
||||||
|
fi
|
||||||
|
else
|
||||||
|
if [ "! ( -f $BinPath/wesnoth -a -x $BinPath/wesnoth )" ]; then
|
||||||
|
echo "Wesnoth binary not found at $BinPath/wesnoth"
|
||||||
|
exit 1
|
||||||
|
fi
|
||||||
|
fi
|
||||||
|
|
||||||
if [ "$Verbose" -ge 2 ]; then
|
if [ "$Verbose" -ge 2 ]; then
|
||||||
if [ "${#extra_opts}" -ge 0 ]; then
|
if [ "${#extra_opts}" -ge 0 ]; then
|
||||||
echo "Found additional arguments to wesnoth: " "$extra_opts"
|
echo "Found additional arguments to wesnoth: " "$extra_opts"
|
||||||
|
Loading…
x
Reference in New Issue
Block a user