fix dolphin 触发器大小写问题

2023-06-08 18:17:12 +08:00
parent a6320921b1
commit 7b595b9ae6
3 changed files with 17 additions and 1 deletions
--- a/src/include/utils/builtins.h
+++ b/src/include/utils/builtins.h
@ -447,6 +447,7 @@ extern Datum namegt(PG_FUNCTION_ARGS);
 extern Datum namege(PG_FUNCTION_ARGS);
 extern int namestrcpy(Name name, const char* str);
 extern int namestrcmp(Name name, const char* str);
+extern int namestrcasecmp(Name name, const char* str);
 extern Datum current_user(PG_FUNCTION_ARGS);
 extern Datum session_user(PG_FUNCTION_ARGS);
 extern Datum current_schema(PG_FUNCTION_ARGS);