diff options
Diffstat (limited to 'mingw-w64-build')
| -rwxr-xr-x | mingw-w64-build | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mingw-w64-build b/mingw-w64-build index 3fc0a87..1b86662 100755 --- a/mingw-w64-build +++ b/mingw-w64-build @@ -23,7 +23,7 @@ v_gcc="8svn" v_gmp="6.1.2" v_mpfr="4.0.2" v_mpc="1.1.0" -v_isl="0.20" +v_isl="0.21" show_help() { |