X-Git-Url: https://git.m6w6.name/?p=m6w6%2Fext-psi;a=blobdiff_plain;f=m4%2Fpsi%2Fpsi_const.m4;h=e3555838b69e9ac0901cd5327148f9369f6a8762;hp=f0345adfbff8af68c44dfa85968d42121a46a0ed;hb=fb8f7887c289ae74d6e8dd85d55ae09e6796e890;hpb=3ef8c66ab1300801bcdb15b43f9f28e77b6487b6 diff --git a/m4/psi/psi_const.m4 b/m4/psi/psi_const.m4 index f0345ad..e355583 100644 --- a/m4/psi/psi_const.m4 +++ b/m4/psi/psi_const.m4 @@ -1,51 +1,29 @@ # psi_add_str_const(name, value) -# Add a pre-defined string constant to $PSI_CONSTS +# Add a pre-defined string constant to $PSI_CONSTS_H psi_add_str_const() { - grep -Fq "\"psi\\\\$1\"" $PSI_CONSTS \ - || cat >>$PSI_CONSTS <>$PSI_CONSTS <