configure
changeset 10385 4f9838649c7f
parent 10379 dd9d0aade65e
child 10400 03e9c6b00a00
equal deleted inserted replaced
10384:6b408b83ac34 10385:4f9838649c7f
    48 check_params
    48 check_params
    49 save_params
    49 save_params
    50 make_cflags_and_ldflags
    50 make_cflags_and_ldflags
    51 
    51 
    52 EXE=""
    52 EXE=""
    53 if [ "$os" = "MINGW" ] || [ "$os" = "CYGWIN" ] || [ "$os" = "OS2" ] || [ "$os" = "WINCE" ]; then
    53 if [ "$os" = "MINGW" ] || [ "$os" = "CYGWIN" ] || [ "$os" = "OS2" ] || [ "$os" = "DOS" ] || [ "$os" = "WINCE" ]; then
    54 	EXE=".exe"
    54 	EXE=".exe"
    55 fi
    55 fi
    56 
    56 
    57 TTD="openttd$EXE"
    57 TTD="openttd$EXE"
    58 STRGEN="strgen$EXE"
    58 STRGEN="strgen$EXE"