equal
deleted
inserted
replaced
43 exit $? |
43 exit $? |
44 fi |
44 fi |
45 |
45 |
46 set_default |
46 set_default |
47 detect_params "$@" |
47 detect_params "$@" |
|
48 check_params |
48 save_params |
49 save_params |
49 check_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" = "WINCE" ]; then |
54 EXE=".exe" |
54 EXE=".exe" |