diff options
| author | Kyle Schwarz <zeranoe@gmail.com> | 2018-08-14 13:52:38 -0400 |
|---|---|---|
| committer | Kyle Schwarz <zeranoe@gmail.com> | 2018-08-14 13:52:38 -0400 |
| commit | 86dd9dff22bf15f51da207449f50c4ea45fb4be6 (patch) | |
| tree | 420ce08bbc95f2ec36dfab4afd9f4a11d0b51d5b | |
| parent | 5ca97e1fab32302a34276b9c7cd13a2c33aabd48 (diff) | |
Update ISL to 0.20
| -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 6137fd3..80da7d0 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.1" v_mpc="1.1.0" -v_isl="0.19" +v_isl="0.20" show_help() { |