31 lines
777 B
Diff
31 lines
777 B
Diff
--- src/expr/mkexpr.orig 2020-06-19 10:59:27.000000000 -0600
|
|
+++ src/expr/mkexpr 2022-10-11 14:28:31.120453409 -0600
|
|
@@ -16,6 +16,7 @@
|
|
#
|
|
|
|
copyright=2010-2014
|
|
+shopt -u patsub_replacement
|
|
|
|
filename=`basename "$1" | sed 's,_template,,'`
|
|
|
|
--- src/expr/mkkind.orig 2020-06-19 10:59:27.000000000 -0600
|
|
+++ src/expr/mkkind 2022-10-11 14:34:17.008996126 -0600
|
|
@@ -15,6 +15,7 @@
|
|
#
|
|
|
|
copyright=2010-2014
|
|
+shopt -u patsub_replacement
|
|
|
|
filename=`basename "$1" | sed 's,_template,,'`
|
|
|
|
--- src/expr/mkmetakind.orig 2020-06-19 10:59:27.000000000 -0600
|
|
+++ src/expr/mkmetakind 2022-10-11 14:34:32.248020036 -0600
|
|
@@ -18,6 +18,7 @@
|
|
#
|
|
|
|
copyright=2010-2014
|
|
+shopt -u patsub_replacement
|
|
|
|
cat <<EOF
|
|
/********************* */
|