diff options
author | Cem Keylan <cem@ckyln.com> | 2022-09-27 18:32:16 +0200 |
---|---|---|
committer | Cem Keylan <cem@ckyln.com> | 2022-09-27 18:32:16 +0200 |
commit | 4d452379a72e24a2403c8a6c533965a159741cd5 (patch) | |
tree | 8150912530e9cc52250fde0273dc9f3db192a642 | |
parent | 452598545790ff0d7efb2215b9877daa810daa38 (diff) | |
download | repository-4d452379a72e24a2403c8a6c533965a159741cd5.tar.gz |
readline: lint
-rwxr-xr-x | extra/readline/build | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/extra/readline/build b/extra/readline/build index 7649424d..ae0b6520 100755 --- a/extra/readline/build +++ b/extra/readline/build @@ -3,7 +3,7 @@ export CFLAGS="$CFLAGS -fPIC" # I am really tired of how bash and readline handles patches. -rl_maj=${2%%.*} rl_min=${2%.p*} rl_min=${rl_min#$rl_maj.} +rl_maj=${2%%.*} rl_min=${2%.p*} rl_min=${rl_min#"$rl_maj."} for patch in "readline$rl_maj$rl_min-"0??; do [ -f "$patch" ] && patch -p0 < "$patch" done |