diff --git a/mingw-w64-readline/PKGBUILD b/mingw-w64-readline/PKGBUILD index d6768ab82e..53f74a351c 100644 --- a/mingw-w64-readline/PKGBUILD +++ b/mingw-w64-readline/PKGBUILD @@ -6,7 +6,7 @@ pkgname="${MINGW_PACKAGE_PREFIX}-${_realname}" _basever=7.0 _patchlevel=003 pkgver=${_basever}.${_patchlevel} -pkgrel=1 +pkgrel=2 pkgdesc="MinGW port of readline for editing typed command lines (mingw-w64)" arch=('any') depends=("${MINGW_PACKAGE_PREFIX}-gcc-libs" @@ -19,7 +19,7 @@ license=('GPL') url="https://cnswww.cns.cwru.edu/php/chet/readline/rltop.html" source=("https://ftp.gnu.org/gnu/${_realname}/${_realname}-${_basever}.tar.gz"{,.sig} readline-7.0-mingw.patch) -if [ $_patchlevel -gt 00 ]; then +if [ ${_patchlevel} -gt 00 ]; then for (( p=1; p<=$((10#${_patchlevel})); p++ )); do source=(${source[@]} https://ftp.gnu.org/gnu/${_realname}/${_realname}-${_basever}-patches/readline${_basever//./}-$(printf "%03d" $p){,.sig}) done