equal
deleted
inserted
replaced
41 sh cache.tmp |
41 sh cache.tmp |
42 rm -f cache.tmp |
42 rm -f cache.tmp |
43 exit $? |
43 exit $? |
44 fi |
44 fi |
45 |
45 |
|
46 export SHOW_HELP="0" |
|
47 |
46 set_default |
48 set_default |
47 detect_params "$@" |
49 detect_params "$@" |
48 check_params |
50 check_params |
|
51 if [ "$SHOW_HELP" != "0" ]; then |
|
52 showhelp |
|
53 exit 0 |
|
54 fi |
49 save_params |
55 save_params |
50 make_cflags_and_ldflags |
56 make_cflags_and_ldflags |
51 |
57 |
52 EXE="" |
58 EXE="" |
53 if [ "$os" = "MINGW" ] || [ "$os" = "CYGWIN" ] || [ "$os" = "OS2" ] || [ "$os" = "WINCE" ]; then |
59 if [ "$os" = "MINGW" ] || [ "$os" = "CYGWIN" ] || [ "$os" = "OS2" ] || [ "$os" = "WINCE" ]; then |