chiark / gitweb /
readline: curl -> termux_download
authorFredrik Fornwall <fredrik@fornwall.net>
Wed, 11 Jan 2017 07:11:14 +0000 (02:11 -0500)
committerFredrik Fornwall <fredrik@fornwall.net>
Wed, 11 Jan 2017 07:11:14 +0000 (02:11 -0500)
packages/readline/build.sh

index 89a0609894f11d4a7bde751aaacedc2fcf633869..07e38de7973a2d789e3031ddcf61ea1fc6c78a72 100755 (executable)
@@ -13,7 +13,9 @@ termux_step_pre_configure () {
         cd $TERMUX_PKG_SRCDIR
        for patch_number in `seq -f '%03g' ${_PATCH_VERSION}`; do
                PATCHFILE=$TERMUX_PKG_CACHEDIR/readline_patch_${patch_number}.patch
-               test ! -f $PATCHFILE && curl "https://mirrors.kernel.org/gnu/readline/readline-7.0-patches/readline70-$patch_number" > $PATCHFILE
+               test ! -f $PATCHFILE && termux_download \
+                       "https://mirrors.kernel.org/gnu/readline/readline-7.0-patches/readline70-$patch_number" \
+                       $PATCHFILE
                patch -p0 -i $PATCHFILE
        done
 }