changeset 3202 | ee43c4501036 |
parent 3201 | 65449801760c |
child 3205 | cfe0785b5171 |
3201:65449801760c | 3202:ee43c4501036 |
---|---|
217 ;; |
217 ;; |
218 MINGW) |
218 MINGW) |
219 PARAM="$PARAM MINGW=1 WIN32=1" |
219 PARAM="$PARAM MINGW=1 WIN32=1" |
220 ;; |
220 ;; |
221 *) |
221 *) |
222 echo "Unknown OS: $OS" |
222 echo "Unknown OS: $TARGET_OS" |
223 exit 1 |
223 exit 1 |
224 ;; |
224 ;; |
225 esac |
225 esac |
226 PARAM="$PARAM BYPASS_OS_DETECT=1" |
226 PARAM="$PARAM BYPASS_OS_DETECT=1" |
227 fi |
227 fi |