| changeset 3202 | e15c8e8a772b |
| parent 3201 | 9ac4721e028a |
| child 3205 | 36beea8bde6a |
| 3201:9ac4721e028a | 3202:e15c8e8a772b |
|---|---|
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 |