diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2020-04-28 10:43:48 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-04-28 10:43:48 -0700 |
commit | 5ec4b57ba3f79db76c5544b3ee37b917f7f0b58e (patch) | |
tree | 9d7dbdf20ed1a6be0212681b49a87055b946e1eb /contrib/get-win-dependencies | |
parent | 967332f464f3e26d43f05bb9c68a0be788337ef6 (diff) |
contrib/get-gmp: Rename and update install instructions with a warning. (#4407)
Diffstat (limited to 'contrib/get-win-dependencies')
-rwxr-xr-x | contrib/get-win-dependencies | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/get-win-dependencies b/contrib/get-win-dependencies index 1138e3071..02b1e4054 100755 --- a/contrib/get-win-dependencies +++ b/contrib/get-win-dependencies @@ -84,7 +84,7 @@ MAKE_CFLAGS="$MAKE_CFLAGS" \ MAKE_CXXFLAGS="$MAKE_CXXFLAGS" \ MAKE_LDFLAGS="$MAKE_LDFLAGS" \ GMPVERSION="$GMPVERSION" \ - contrib/get-gmp || reporterror + contrib/get-gmp-dev || reporterror echo echo ============================================================================= |