diff options
author | Jocke <j.bygdell@gmail.com> | 2018-07-12 10:21:25 +0200 |
---|---|---|
committer | Dirk Hohndel <dirk@hohndel.org> | 2018-07-12 07:58:08 -0700 |
commit | a56a7c51f656f9cd7fbcf00b2d0c19d0e74ec701 (patch) | |
tree | 198264fe965e16a8618f2248f7b5c09a86992ac9 /scripts/get-dep-lib.sh | |
parent | 8106e533ef38f406cd5ef248c8735f3dfb962ee7 (diff) | |
download | subsurface-a56a7c51f656f9cd7fbcf00b2d0c19d0e74ec701.tar.gz |
Add comment to get-dep-lib.sh
Add a comment so we remember to change the version number in versions.sh also.
Signed-off-by: Joakim Bygdell <j.bygdell@gmail.com>
Diffstat (limited to 'scripts/get-dep-lib.sh')
-rwxr-xr-x | scripts/get-dep-lib.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/get-dep-lib.sh b/scripts/get-dep-lib.sh index 24116b452..81dcd1716 100755 --- a/scripts/get-dep-lib.sh +++ b/scripts/get-dep-lib.sh @@ -102,6 +102,7 @@ fi if [ "$PLATFORM" == "singleAndroid" ] ; then CURRENT_LIBZIP="1.1.3" CURRENT_OPENSSL="OpenSSL_1_0_2o" +# If changing the openSSL version here, make sure to change it in versions.sh also. fi # no curl and old libs (never version breaks) # check whether to use curl or wget |