diff --git a/scripts/bootstrap-prefix.sh b/scripts/bootstrap-prefix.sh index ab1c8392d0..a719fb6010 100755 --- a/scripts/bootstrap-prefix.sh +++ b/scripts/bootstrap-prefix.sh @@ -1296,7 +1296,7 @@ bootstrap_texinfo() { bootstrap_bash() { bootstrap_gnu bash 5.2 || bootstrap_gnu bash 5.1 || - bootstrap_gnu bash 5.0 || + bootstrap_gnu bash 5.0 } bootstrap_bison() {