Description: Fix FTBFS with bash 5.2 Author: Jerry James Forwarded: no Last-Update: 2022-10-17 Bug: https://bugs.gentoo.org/883273 See: https://salsa.debian.org/science-team/cvc4/-/merge_requests/2/diffs?commit_id=05ca9eee24e279ddfbaebea7393b4303200141ad --- diff --git a/src/expr/mkexpr b/src/expr/mkexpr index c5f12f487..642a7ff0d 100755 --- a/src/expr/mkexpr +++ b/src/expr/mkexpr @@ -16,6 +16,7 @@ # copyright=2010-2014 +shopt -u patsub_replacement filename=`basename "$1" | sed 's,_template,,'` diff --git a/src/expr/mkkind b/src/expr/mkkind index fbf37eff4..77a8fc7e5 100755 --- a/src/expr/mkkind +++ b/src/expr/mkkind @@ -15,6 +15,7 @@ # copyright=2010-2014 +shopt -u patsub_replacement filename=`basename "$1" | sed 's,_template,,'` diff --git a/src/expr/mkmetakind b/src/expr/mkmetakind index e2a733ec8..935040bed 100755 --- a/src/expr/mkmetakind +++ b/src/expr/mkmetakind @@ -18,6 +18,7 @@ # copyright=2010-2014 +shopt -u patsub_replacement cat <