diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/spatch/remove-gstrcmp.spatch | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/tools/spatch/remove-gstrcmp.spatch b/tools/spatch/remove-gstrcmp.spatch new file mode 100644 index 00000000..86fe971a --- /dev/null +++ b/tools/spatch/remove-gstrcmp.spatch @@ -0,0 +1,17 @@ +@@ +expression E,D; +@@ +- g_strcmp0(E,D) == 0 ++ lasso_strisequal(E,D) + +@@ +expression E,D; +@@ +- g_strcmp0(E,D) != 0 ++ lasso_strisnotequal(E,D) + +@@ +@@ + +- lasso_is_empty_string ++ lasso_strisempty |