diff options
| author | Clark Barrett <barrett@cs.stanford.edu> | 2017-03-15 14:00:17 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-03-15 14:00:17 -0700 |
| commit | cae800b4fbe4444f2202e8706ca1803ec110c429 (patch) | |
| tree | 695a3af40b3b1fd4d540d0d6a71694078514aec1 | |
| parent | 6bac5cef88d22a2593d5da40dbb5cd45f63a266a (diff) | |
| parent | 2e23d9af175b6c10879bea285582e6c57c520f20 (diff) | |
Merge pull request #134 from 4tXJ7f/fix_host
Fix win-build script to use MinGW-w64 by default
| -rwxr-xr-x | contrib/win-build | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/win-build b/contrib/win-build index dee9a8af2..9a1a257a0 100755 --- a/contrib/win-build +++ b/contrib/win-build @@ -13,7 +13,7 @@ if [ $# -ne 0 ]; then fi if [ -z "$HOST" ]; then - HOST=i586-mingw32msvc + HOST=i686-w64-mingw32 echo "WARNING:" echo "WARNING: Using default HOST value: $HOST" echo "WARNING: You should probably run this script like this:" |